TYTUŁ
Bulletin of the Section of Logic 2010 / Tom 39 / Numer 3-4
2010 / Tom 39 / Numer 3-4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Vaught's Theorem holds for L2 but fails for Ln when n > 2s. 107 - 122CZYSTY TEKSTBIBTEX
-
A Note On Diagonalizations. 123 - 131CZYSTY TEKSTBIBTEX
-
Towards Theory of Massive-Parallel Proofs : cellular Automata Approachs. 133 - 145CZYSTY TEKSTBIBTEX
-
A Short Proof for the Completeness of Paramodulacions. 147 - 152CZYSTY TEKSTBIBTEX
-
Dependence Spacess. 153 - 160CZYSTY TEKSTBIBTEX
-
Slaney's Logic F** is Constructive Logic with Strong Negations. 161 - 174CZYSTY TEKSTBIBTEX
-
Simple Expansions of Classes Satisfying Fraenkel-Carnap Propertiess. 175 - 186CZYSTY TEKSTBIBTEX
-
Weak Implication on Generalized Łukasiewicz Algebras of Order ns. 187 - 198CZYSTY TEKSTBIBTEX
-
A New Version of an Old Modal Incompleteness Theorems. 199 - 204CZYSTY TEKSTBIBTEX
-
An Embedding-Based Completeness Proof for Nelson's Paraconsistent Logics. 205 - 214CZYSTY TEKSTBIBTEX
