Period of time: 2013年6期
Publisher: Springer Publishing Company
Founded in: 1972
Total resources: 78
ISSN: 0022-3611
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.
Journal of Philosophical Logic,volume 26,issue 6
Menu
Relations in Monadic Third-Order Logic
Journal of Philosophical Logic,volume 26,issue 6 , Vol. 26, Iss. 6, 1997-12 , pp.Marti on Descriptions in Carnap’s S2
Journal of Philosophical Logic,volume 26,issue 6 , Vol. 26, Iss. 6, 1997-12 , pp.Provability in Principle and Controversial Constructivistic Principles
Journal of Philosophical Logic,volume 26,issue 6 , Vol. 26, Iss. 6, 1997-12 , pp.A Constructive Formulation of Gleason’s Theorem
Journal of Philosophical Logic,volume 26,issue 6 , Vol. 26, Iss. 6, 1997-12 , pp.Indexed systems of sequents and cut-elimination
Journal of Philosophical Logic,volume 26,issue 6 , Vol. 26, Iss. 6, 1997-12 , pp.