Period of time: 2014年2期
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 69,issue 2
Menu
By Dyckhoff R.,Wansing H. in (2001)
Studia Logica,volume 69,issue 2 , Vol. 69, Iss. 2, 2001-11 , pp.Decomposition Proof Systems for G[ouml ]del-Dummett Logics
By Avron A.,Konikowska B. in (2001)
Studia Logica,volume 69,issue 2 , Vol. 69, Iss. 2, 2001-11 , pp.Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics
By Batens D.,Meheus J. in (2001)
Studia Logica,volume 69,issue 2 , Vol. 69, Iss. 2, 2001-11 , pp.On Different Intuitionistic Calculi and Embeddings from
Connection-Driven Inductive Theorem Proving
By Kreitz C.,Pientka B. in (2001)
Studia Logica,volume 69,issue 2 , Vol. 69, Iss. 2, 2001-11 , pp.