Mathematical induction; 1. Sets and classes; 2. Relations and functions; 3. Cardinals; 4. Ordinals; 5. The axiom of choice; 6. Finite cardinals and alephs; 7. Propositional logic; 8. First order logic; 9. Facts from recursion theory; 10. Limitative results; Appendix: Skolem's paradox.
Rigorous coverage of logic and set theory for students of mathematics and philosophy.
' ... written by an excellent mathematician ... I very much like
the way the author explains things.' European Mathematical
"...a concise and polished text..." J.M. Plotkin, Mathematical Reviews