- Functional Analysis: Theory and Applications (Dover Books on Mathematics)
- A Formal Background to Higher Mathematics: Volume 1, Parts A and B: Logic, Sets and Numbers (Universitext)
- A Formal Background to Mathematics 2a: A Critical Approach to Elementary Analysis
- Achievement Out of Weakness
- Littlewood-Paley and multiplier theory (Ergebnisse der Mathematik und ihrer Grenzgebiete)