- Numbers (Graduate Texts in Mathematics / Readings in Mathematics)
- INTRODUCTION TO MATHEMATICAL LOGIC
- Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions
- Enumerability . Decidability Computability: An Introduction to the Theory of Recursive Functions
- Selecta Mathematica II