- Author: Storrs McCall
- Language: English
- Year: 1963
- Author: Abraham Robinson
- Language: English
- Year: 1963
- Author: Abraham Robinson
- Language: English
- Year: 1963
- Author: R. L. Goodstein
- Language: English
- Year: 1961
Ordinal Algebras
pdf
- Author: Alfred Tarski with appendices by C.-C. Chang and B. Jónsson
- Language: English
- Year: 1956
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