TYTUŁ
Bulletin of the Section of Logic
2004 / Tom 33 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A Modal Extension of First Order Classical Logic, Part IIs. 1 - 10CZYSTY TEKSTBIBTEX
-
A Sequent System of the Logic R- for Rosser Sentencess. 11 - 21CZYSTY TEKSTBIBTEX
-
Sequential Calculi for Many-valued Logics with Equality Determinants. 23 - 32CZYSTY TEKSTBIBTEX
-
On Set Theory as a Foundation for Computer Sciences. 33 - 40CZYSTY TEKSTBIBTEX
-
Formalization of a Plausible Inferences. 41 - 52CZYSTY TEKSTBIBTEX
-
Deduction Chains and DC-like Decision Procedure for Guarded Logics. 53 - 65CZYSTY TEKSTBIBTEX
