Modern Mathematical Logic

Joseph Mileti is Associate Professor in the Department of Mathematics and Statistics at Grinnell College, USA. He won the 2004 Sacks Prize from the Association of Symbolic Logic for the best doctoral dissertation in mathematical logic (worldwide) and leading experts have celebrated his original courses and materials taught at many universities.

• Preface; Acknowledgements; 1. Introduction; 2. Induction and recursion; 3. Propositional logic; 4. First-order logic: languages and structures; 5. Relationships between structures; 6. Implication and compactness; 7. Model theory; 8. Axiomatic set theory; 9. Ordinals, cardinals, and choice; 10. Set-theoretic methods in model theory; 11. Computable sets and functions; 12. Logic, computation, and incompleteness; Appendix: mathematical background; References; Index.

'This is an excellent introduction to mathematical logic for upper-year undergraduate students with some background in theoretical mathematics. The many wonderful examples relate mathematical logic to other areas of mathematics. Beyond the usual setup and culmination with completeness and incompleteness, Mileti gives a strong introduction to set theory, model theory, and computability. Instructors have the flexibility to suit the examples and direction to their students' backgrounds, and curious students will have an excellent reference for topics not covered in their course. Mileti's gentle prose guides the reader from topic to topic, explaining what we are doing, and why.' Barbara F. Csima, University of Waterloo