-
Some type of formulas and the faithfulness of Flagg and Friedman's translations. 2 - 11CZYSTY TEKST
Takao Inoue, Some type of formulas and the faithfulness of Flagg and Friedman's translation, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 2 - 11
BIBTEX@Article{ authors = " Takao Inoue", title = "Some type of formulas and the faithfulness of Flagg and Friedman's translation", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "2 - 11" }
-
Equivalents of the compactness theorem for locally finite sets of sentencess. 12 - 18CZYSTY TEKST
Adam Kolany, Equivalents of the compactness theorem for locally finite sets of sentences, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 12 - 18
BIBTEX@Article{ authors = " Adam Kolany", title = "Equivalents of the compactness theorem for locally finite sets of sentences", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "12 - 18" }
-
The first axiomatization of a paraconsistent logics. 19 - 20CZYSTY TEKST
Elias H. Alves, The first axiomatization of a paraconsistent logic, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 19 - 20
BIBTEX@Article{ authors = " Elias H. Alves", title = "The first axiomatization of a paraconsistent logic", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "19 - 20" }
-
A non-standard approach to autoepistemic logics. 21 - 27CZYSTY TEKST
Anna Gomolińska, A non-standard approach to autoepistemic logic, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 21 - 27
BIBTEX@Article{ authors = " Anna Gomolińska", title = "A non-standard approach to autoepistemic logic", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "21 - 27" }
-
A note on Zermelo set theorys. 28 - 30CZYSTY TEKST
Carlos G. Gonzalez, A note on Zermelo set theory, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 28 - 30
BIBTEX@Article{ authors = " Carlos G. Gonzalez", title = "A note on Zermelo set theory", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "28 - 30" }
-
Refutation rules for three modal logicss. 31 - 32CZYSTY TEKST
Tomasz Skura, Refutation rules for three modal logics, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 31 - 32
BIBTEX@Article{ authors = " Tomasz Skura", title = "Refutation rules for three modal logics", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "31 - 32" }