Period of time： 2014年2期
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 65,issue 2
Menu
A Negationless Interpretation of Intuitionistic Theories. II
Studia Logica,volume 65,issue 2 , Vol. 65, Iss. 2, 2000-07 , pp.
Access to resources
Recommend
Varieties of Three-Valued Heyting Algebras with a Quantifier
By Abad M.,Díaz Varela J.P.,Rueda L.A.,Suardíaz A.M. in (2000)
Studia Logica,volume 65,issue 2 , Vol. 65, Iss. 2, 2000-07 , pp.Arrow Logic and Infinite Counting
Studia Logica,volume 65,issue 2 , Vol. 65, Iss. 2, 2000-07 , pp.Non-Commutative Topology and Quantales
By Coniglio M.E.,Miraglia F. in (2000)
Studia Logica,volume 65,issue 2 , Vol. 65, Iss. 2, 2000-07 , pp.First Order Common Knowledge Logics
Studia Logica,volume 65,issue 2 , Vol. 65, Iss. 2, 2000-07 , pp.