TYTUŁ
Bulletin of the Section of Logic
2001 / Tom 30 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A Note on Decision Problems for Implicational Sequent Calculis. 129 - 138CZYSTY TEKSTBIBTEX
-
Restricting the Contraction Axiom in Dummett's LC: LC with the Converse Ackermann Propertys. 139 - 146CZYSTY TEKSTBIBTEX
-
Some Remarks on Maehara's Methods. 147 - 154CZYSTY TEKSTBIBTEX
-
Non-Computability of the Equational Theory of Polyadic Algebrass. 155 - 164CZYSTY TEKSTBIBTEX
-
Hilbert's New Problems. 165 - 175CZYSTY TEKSTBIBTEX
