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 63,issue 1
Menu
An Operational Logic of Proofs with Positive and Negative Information
By Luchi D.,Montagna F. in (1999)
Studia Logica,volume 63,issue 1 , Vol. 63, Iss. 1, 1999-07 , pp.Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric
Studia Logica,volume 63,issue 1 , Vol. 63, Iss. 1, 1999-07 , pp.Some Logics of Iterated Belief Change
Studia Logica,volume 63,issue 1 , Vol. 63, Iss. 1, 1999-07 , pp.Complete Infinitary Type Logics
Studia Logica,volume 63,issue 1 , Vol. 63, Iss. 1, 1999-07 , pp.James D. McCawley, Everything That Linguists Have Always Wanted to Know About Logic
Studia Logica,volume 63,issue 1 , Vol. 63, Iss. 1, 1999-07 , pp.