TYTUŁ
Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3
2000 / Tom 29 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A basic formal equational predicate logic : part IIs. 75 - 87CZYSTY TEKSTBIBTEX
-
On the power of ultrafilter logics. 89 - 97CZYSTY TEKSTBIBTEX
-
Extremal consequence operationss. 99 - 107CZYSTY TEKSTBIBTEX
-
Minimal generic of externally compatible varietiess. 107 - 114CZYSTY TEKSTBIBTEX
-
An internal determinacy metatheorem for Lukasiewicz's Aussagenkalkulss. 115 - 124CZYSTY TEKSTBIBTEX
-
Axiomatic proofs through automated reasonings. 125 - 136CZYSTY TEKSTBIBTEX
