TYTUŁ
Bulletin of the Section of Logic
1976 / Tom 5 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Remarks on Hallden completeness of modal and intermediate logicss. 126 - 128CZYSTY TEKSTBIBTEX
-
The number of isomorphism types of subdirectly indecomposable pseudo-Boolean algebrass. 130 - 131CZYSTY TEKSTBIBTEX
-
Relevant arithmetics. 133 - 135CZYSTY TEKSTBIBTEX
-
Ackermann, Takeuti, und schnitt: γ for higher-order relevant logicss. 138 - 142CZYSTY TEKSTBIBTEX
-
A new proof of structural completeness of Lukasiewicz's logics. 145 - 150CZYSTY TEKSTBIBTEX
-
On structural completeness of the infinite-valued Lukasiewicz's propositional calculuss. 153 - 156CZYSTY TEKSTBIBTEX
