TYTUŁ
Bulletin of the Section of Logic
1972 / Tom 1 / Numer 3
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Dual Counterparts of Łukasiewicz Sentential Calculis. 2 - 7CZYSTY TEKSTBIBTEX
-
Descriptions in Theories of Kind Ws. 8 - 13CZYSTY TEKSTBIBTEX
-
Definitions in Theories of Kind Ws. 14 - 19CZYSTY TEKSTBIBTEX
-
Treshold Logics. 20 - 27CZYSTY TEKSTBIBTEX
-
On Algorithmic M-Valued Logics. 28 - 37CZYSTY TEKSTBIBTEX
-
Ł-Decidability and Decidabilitys. 38 - 43CZYSTY TEKSTBIBTEX
-
Invariant Systems of Łukasiewicz Calculis. 44 - 48CZYSTY TEKSTBIBTEX
-
Some Results Concerning Many Valued Łukasiewicz Calculis. 49 - 51CZYSTY TEKSTBIBTEX
-
Logique, Automatique, Informatique : Editions de l'Academie de la République de Roumanie, Bucarest, 1971 : (Review of some Papers of V. Boicescu and G. Georgescu on Łukasiewicz Algebras)s. 52 - 61CZYSTY TEKSTBIBTEX
-
From the History of Constructive Logic with a Strong Negation : (Review of some Papers)s. 62 - 71CZYSTY TEKSTBIBTEX
-
"Multiplicity Type and Subalgebra Structure in Universal Algebras", Matthew Gould, [w:] „Pacific Journal of Mathematics”, Nr 3, t. 26, R. 1968; "Multiplicity Type and Subalgebra Structure in Infinitary Universal Algebra", Matthew Gould, [w:] „Colloqium Mathematicum”, t. 24, R. 1971 : [recenzja]s. 72 - 76CZYSTY TEKSTBIBTEX
-
Logical Papers in „Zeitschrift für Mathematische Logic und Grundlagen der Mathematic”, vol. 17(1971)s. 77 - 81CZYSTY TEKSTBIBTEX
-
XVIIIth Conference for the History of Logics. 82 - 88CZYSTY TEKSTBIBTEX
-
19th and 20th Conferences for the History of Logic, Cracow, 1973 and 1974 : (A Preliminary Announcement)s. 89CZYSTY TEKSTBIBTEX
