Period of time: 2014年1期
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 67,issue 1
Menu
Cn-Definitions of Propositional Connectives
By Pogorzelski W.A.,Wojtylak P. in (2001)
Studia Logica,volume 67,issue 1 , Vol. 67, Iss. 1, 2001-02 , pp.Computably Enumerable Equivalence Relations
Studia Logica,volume 67,issue 1 , Vol. 67, Iss. 1, 2001-02 , pp.Model Existence in Non-Compact Modal Logic
Studia Logica,volume 67,issue 1 , Vol. 67, Iss. 1, 2001-02 , pp.Principal Congruences on Semi-De Morgan Algebras
By Palma C.,Santos R. in (2001)
Studia Logica,volume 67,issue 1 , Vol. 67, Iss. 1, 2001-02 , pp.Glivenko Type Theorems for Intuitionistic Modal Logics
Studia Logica,volume 67,issue 1 , Vol. 67, Iss. 1, 2001-02 , pp.