Table of Contents

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.

Promotional Information

Rigorous coverage of logic and set theory for students of mathematics and philosophy.

Reviews

' ... written by an excellent mathematician ... I very much like the way the author explains things.' European Mathematical Society
"...a concise and polished text..." J.M. Plotkin, Mathematical Reviews