Period of time： 2014年3期
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 62,issue 3
Menu
Quantifiers and Congruence Closure
By Flum J.,Schiehlen M.,Väänänen J. in (1999)
Studia Logica,volume 62,issue 3 , Vol. 62, Iss. 3, 1999-05 , pp.
Access to resources
Recommend
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic
Studia Logica,volume 62,issue 3 , Vol. 62, Iss. 3, 1999-05 , pp.Conservative Theories of Classical Truth
Studia Logica,volume 62,issue 3 , Vol. 62, Iss. 3, 1999-05 , pp.Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4
By Bellissima F.,Cittadini S. in (1999)
Studia Logica,volume 62,issue 3 , Vol. 62, Iss. 3, 1999-05 , pp.By Blankertz B.,Weiermann A. in (1999)
Studia Logica,volume 62,issue 3 , Vol. 62, Iss. 3, 1999-05 , pp.