- A Course in Mathematical Logic (Graduate Texts in Mathematics)
- Mathematics as Metaphor (Collected Works)
- Mathematics and Physics (Progress in physics)
- Gauge Field Theory and Complex Geometry (Grundlehren Der Mathematischen Wissenschaften)
- Introduction to Modern Number Theory : Fundamental Problems, Ideas and Theories