Period of time: 2013年2期
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 28,issue 2
Menu
Mirror notation: symbol manipulation without inscription manipulation
Journal of Philosophical Logic,volume 28,issue 2 , Vol. 28, Iss. 2, 1999-04 , pp.A Note on Finiteness in the Predicative Foundations of Arithmetic
Journal of Philosophical Logic,volume 28,issue 2 , Vol. 28, Iss. 2, 1999-04 , pp.Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness
Journal of Philosophical Logic,volume 28,issue 2 , Vol. 28, Iss. 2, 1999-04 , pp.