TYTUŁ
Bulletin of the Section of Logic 1998 / Tom 27 / Numer 3
1998 / Tom 27 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Propositional calculus with identitys. 96 - 104CZYSTY TEKSTBIBTEX
-
G. Birkhoff's theorems for M-solid varietiess. 105 - 116CZYSTY TEKSTBIBTEX
-
On eight independent equational axiom-atisations for fork algebrass. 117 - 129CZYSTY TEKSTBIBTEX
-
A polynomial translation of Goedel's functional interpretations. 130 - 137CZYSTY TEKSTBIBTEX
-
Relational logics for formalization of database dependenciess. 138 - 143CZYSTY TEKSTBIBTEX
-
Remark on visual presentation of deductions in Jaskowski's method of suppositionss. 144 - 147CZYSTY TEKSTBIBTEX
