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 81,issue 1
Menu
An Exactification of the Monoid of Primitive Recursive Functions
By Lambek Joachim,Scott Philip in (2005)
Studia Logica,volume 81,issue 1 , Vol. 81, Iss. 1, 2005-10 , pp.
Access to resources
Recommend
On the Exclusivity Implicature of ‘Or’ or on the Meaning of Eating Strawberries
By Verhoeven Liza,Horsten Leon in (2005)
Studia Logica,volume 81,issue 1 , Vol. 81, Iss. 1, 2005-10 , pp.The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms
Studia Logica,volume 81,issue 1 , Vol. 81, Iss. 1, 2005-10 , pp.On Amalgamation in Algebras of Logic
Studia Logica,volume 81,issue 1 , Vol. 81, Iss. 1, 2005-10 , pp.Comparing Inductive and Circular Definitions: Parameters, Complexity and Games
By Küdhnberger Kai-Uwe,Löwe Benedikt,Möllerfeld Michael,Welch Philip in (2005)
Studia Logica,volume 81,issue 1 , Vol. 81, Iss. 1, 2005-10 , pp.Two notions of compactness in Gödel logics
Studia Logica,volume 81,issue 1 , Vol. 81, Iss. 1, 2005-10 , pp.Representations of monadic
By Belluce L.,Grigolia Revaz,Lettieri Ada in (2005)
Studia Logica,volume 81,issue 1 , Vol. 81, Iss. 1, 2005-10 , pp.