Skip to Main Content
Have library access? Log in through your library
journal article
First-Order Reasoning and Primitive Recursive Natural Number Notations
David Isles
Studia Logica: An International Journal for Symbolic Logic
Vol. 96, No. 1 (October 2010), pp. 49-64 (16 pages)
Published By: Springer
https://www.jstor.org/stable/40927707
Cite this Item
View Preview
View Preview