- 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
- Fourier series: A modern introduction (Graduate texts in mathematics)
- Achievement Out of Weakness