Notre Dame Journal of Formal Logic 16 (4):449-464 (1975)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
A Philosophical Introduction to the Foundations of Elementary Arithmetic by V1.03 Last Updated: 1 Jan 2001 Created: 1 Sept 2000 Please Send Your Comments to Abo. [REVIEW]Andrew Boucher - manuscript
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic.A. Di Paola Robert - 1975 - Journal of Symbolic Logic 40 (3):398-400.
Indexed Natural Numbers in Mind: A Formal Model of the Basic Mature Number Competence. [REVIEW]Wojciech Krysztofiak - 2012 - Axiomathes 22 (4):433-456.
On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
On Interpretations of Bounded Arithmetic and Bounded Set Theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Added to index2010-08-24
Total downloads5 ( #590,693 of 2,153,834 )
Recent downloads (6 months)1 ( #398,274 of 2,153,834 )
How can I increase my downloads?