Author： Lambek Joachim Scott Philip
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.81, Iss.1, 2005-10, pp. : 1-18
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The Intrinsic Difficulty of Recursive Functions
By Kroon F.W.
Studia Logica, Vol. 56, Iss. 3, 1996-05 ,pp. :
Access to resources
Recommend
Roman Murawski, Recursive Functions and Metamathematics
By Downey R.
Studia Logica, Vol. 70, Iss. 2, 2002-03 ,pp. :
On Modal Logics of Partial Recursive Functions
By Naumov Pavel
Studia Logica, Vol. 81, Iss. 3, 2005-12 ,pp. :
First-Order Reasoning and Primitive Recursive Natural Number Notations
By Isles David
Studia Logica, Vol. 96, Iss. 1, 2010-10 ,pp. :
Analysis, Vol. 72, Iss. 3, 2012-07 ,pp. :