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 61,issue 3
Menu
Interpolation and Amalgamation; Pushing the Limits. Part I
Studia Logica,volume 61,issue 3 , Vol. 61, Iss. 3, 1998-11 , pp.
Access to resources
Recommend
Problems of Equivalence, Categoricity of Axioms and States Description in Databases
By Plotkin T.L.,Kraus S.,Plotkin B.I. in (1998)
Studia Logica,volume 61,issue 3 , Vol. 61, Iss. 3, 1998-11 , pp.Varieties of Monadic Heyting Algebras. Part I
Studia Logica,volume 61,issue 3 , Vol. 61, Iss. 3, 1998-11 , pp.Isomorphism and Equational Equivalence of Continuous λ-Models
Studia Logica,volume 61,issue 3 , Vol. 61, Iss. 3, 1998-11 , pp.Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality
Studia Logica,volume 61,issue 3 , Vol. 61, Iss. 3, 1998-11 , pp.