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 64,issue 1
Menu
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations
Studia Logica,volume 64,issue 1 , Vol. 64, Iss. 1, 2000-01 , pp.
Access to resources
Recommend
On Categorical Equivalences of Commutative BCK-algebras
Studia Logica,volume 64,issue 1 , Vol. 64, Iss. 1, 2000-01 , pp.Extending Standard Models of ZFC to Models of Nonstandard Set Theories
By Kanovei V.,Reeken M. in (2000)
Studia Logica,volume 64,issue 1 , Vol. 64, Iss. 1, 2000-01 , pp.Completeness Theorems via the Double Dual Functor
By Galli A.,Sagastume M.,Reyes G.E. in (2000)
Studia Logica,volume 64,issue 1 , Vol. 64, Iss. 1, 2000-01 , pp.Priestley Duality for Quasi-Stone Algebras
Studia Logica,volume 64,issue 1 , Vol. 64, Iss. 1, 2000-01 , pp.By Sofronie-Stokkermans V. in (2000)
Studia Logica,volume 64,issue 1 , Vol. 64, Iss. 1, 2000-01 , pp.