Joseph Mileti (Iowa Grinnell College)

Modern Mathematical Logic

• Gebundenes Buch

Produktbeschreibung

This textbook gives a comprehensive introduction to mathematical logic using modern conventions and perspectives, while emphasizing connections with the rest of mathematics. With a wealth of exercises, examples, and further reading, it is suitable for a variety of courses for upper-level undergraduates and beginning graduate students.

Produktdetails

• Cambridge Mathematical Textbooks
• Verlag: Cambridge University Press
• New ed
• Seitenzahl: 550
• Erscheinungstermin: Oktober 2022
• Englisch
• Abmessung: 260mm x 183mm x 32mm
• Gewicht: 1242g
• ISBN-13: 9781108833141
• ISBN-10: 1108833144
• Artikelnr.: 63399552

Autorenporträt

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.

Inhaltsangabe

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.