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 63,issue 3
Menu
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof
Studia Logica,volume 63,issue 3 , Vol. 63, Iss. 3, 1999-11 , pp.
Access to resources
Recommend
Actuality and World-Indexed Sentences
Studia Logica,volume 63,issue 3 , Vol. 63, Iss. 3, 1999-11 , pp.By Fermé Eduardo,Hansson Sven in (1999)
Studia Logica,volume 63,issue 3 , Vol. 63, Iss. 3, 1999-11 , pp.Basic Logic, K4, and Persistence
Studia Logica,volume 63,issue 3 , Vol. 63, Iss. 3, 1999-11 , pp.On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics
By Ghilardi Silvio,Miglioli Pierangelo in (1999)
Studia Logica,volume 63,issue 3 , Vol. 63, Iss. 3, 1999-11 , pp.Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics
Studia Logica,volume 63,issue 3 , Vol. 63, Iss. 3, 1999-11 , pp.