TYTUŁ
Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2
1989 / Tom 18 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
On theories of non-monotonic consequence operationss. 44 - 50CZYSTY TEKSTBIBTEX
-
A note on temporal logics. 51 - 121CZYSTY TEKSTBIBTEX
-
On monadic logic of recursive programs with parameterss. 57 - 61CZYSTY TEKSTBIBTEX
-
Intermediate logics characterized by a class of algebraic frames with infinite individual domains. 63 - 71CZYSTY TEKSTBIBTEX
-
Amalgamation, epimorphisms and definability properties in algebraic logics. 72 - 78CZYSTY TEKSTBIBTEX
-
On the logic of distributive latticess. 79 - 86CZYSTY TEKSTBIBTEX
-
The common rules of binary connectives are finitely baseds. 87 - 93CZYSTY TEKSTBIBTEX
