Period of time： 2014年3期
Publisher： Springer Publishing Company
Founded in： 1953
Total resources： 90
ISSN： 0039-3215
Subject： B Philosophy and Religion
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Studia Logica,volume 64,issue 3
Menu
Access to resources
Recommend
Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs
Studia Logica,volume 64,issue 3 , Vol. 64, Iss. 3, 2000-03 , pp.A Negationless Interpretation of Intuitionistic Theories. I
Studia Logica,volume 64,issue 3 , Vol. 64, Iss. 3, 2000-03 , pp.On Definability of the Equality in Classes of Algebras with an Equivalence Relation
Studia Logica,volume 64,issue 3 , Vol. 64, Iss. 3, 2000-03 , pp.P-Compatible Hypersubstitution and MP-Solid Varieties
By HŁkowska K.,Denecke K. in (2000)
Studia Logica,volume 64,issue 3 , Vol. 64, Iss. 3, 2000-03 , pp.Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction
Studia Logica,volume 64,issue 3 , Vol. 64, Iss. 3, 2000-03 , pp.