TYTUŁ
Bulletin of the Section of Logic 1990 / Tom 19 / Numer 1
1990 / Tom 19 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A syntactical characterization of structural completeness for implicational logicss. 2 - 9CZYSTY TEKSTBIBTEX
-
A new criterion of decidability for intermediate logicss. 10 - 14CZYSTY TEKSTBIBTEX
-
Urguhart's C with minimal negations. 15 - 20CZYSTY TEKSTBIBTEX
-
On Hallden-completeness of intermediate and modal logicss. 21 - 24CZYSTY TEKSTBIBTEX
-
On a minimal non-alethic logics. 25 - 29CZYSTY TEKSTBIBTEX
-
The temporal functors in the directional logic of Rogowski - some resultss. 30 - 35CZYSTY TEKSTBIBTEX
