TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Many-sequent first order predicate logic Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 1 / s. 4 - 81993CZYSTY TEKST
Piotr Borowik, Many-sequent first order predicate logic, Bulletin of the Section of Logic, 1993 / Tom 22 / Numer 1, s. 4 - 8
BIBTEX@Article{ authors = " Piotr Borowik", title = "Many-sequent first order predicate logic", journal = "Bulletin of the Section of Logic", issue = "1993 / Tom 22 / Numer 1", pages = "4 - 8" }
