TYTUŁ
Bulletin of the Section of Logic 1992 / Tom 21 / Numer 1
1992 / Tom 21 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Some type of formulas and the faithfulness of Flagg and Friedman's translations. 2 - 11CZYSTY TEKSTBIBTEX
-
Equivalents of the compactness theorem for locally finite sets of sentencess. 12 - 18CZYSTY TEKSTBIBTEX
-
The first axiomatization of a paraconsistent logics. 19 - 20CZYSTY TEKSTBIBTEX
-
A non-standard approach to autoepistemic logics. 21 - 27CZYSTY TEKSTBIBTEX
-
A note on Zermelo set theorys. 28 - 30CZYSTY TEKSTBIBTEX
-
Refutation rules for three modal logicss. 31 - 32CZYSTY TEKSTBIBTEX
