Recursive number theory
Subtitle: a development of recursive arithmetic in a logic-free equation calculus
Series: Studies in logic and the foundations of mathematics; Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1957
Place of publication: Amsterdam
Language: eng
Format: [electronic resource]
Number of pages: 190
ISBN-13: 9780444533852
Subjects: Fondements; Number theory; Arithmétique; Recursion theory; Arithmetic; Nombres, Théorie des; Foundations; Recursivité, Théorie de la
Notes: Bibliography: p. 188.

Description based on print version record.
Table of contents: title: Definition by recursion; title: Equation calculus; title: Logical constants; title: Fundamental theorems of arithmetic; title: Formalisations of primitive recursive arithmetic; title: Reductions to primitive recursion; title: Elimination of parameters; title: Gödel numbering and the incompleteness of arithmetic.