TYTUŁ
Bulletin of the Section of Logic 1991 / Tom 20 / Numer 2
1991 / Tom 20 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
An open problem in Tarski's calculus of deductive systemss. 36 - 43CZYSTY TEKSTBIBTEX
-
Conditional logics and cumulative logicss. 44 - 51CZYSTY TEKSTBIBTEX
-
A finitary relational algebra for classical first-order logics. 52 - 62CZYSTY TEKSTBIBTEX
-
An undecidable problem for regular equationss. 63 - 66CZYSTY TEKSTBIBTEX
-
Divisibility Quantifierss. 67 - 82CZYSTY TEKSTBIBTEX
