Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus
pdf
- Author: Reuben Louis Goodstein
- Language: English
- Year: 1957
- Author: Wilhelm Ackermann
- Language: English
- Year: 1954
- Author: Abraham A. Fraenkel
- Language: English
- Year: 1966
- Author: Ernest Addison Moody
- Language: English
- Year: 1953
- Author: J. Barkley Rosser Atwell Rufus Turquette
- Language: English
- Year: 1952
- Author: Paul Bernays with a historical introduction by Abraham A. Fraenkel
- Language: English
- Year: 1958
- Author: John Bell Moshé Machover
- Language: English
- Year: 1977
- Author: Joseph M. Bocheński
- Language: English
- Year: 1951
- Author: Alexander Grothendieck
- Language: French
- Year: 1968