Modern Mathematical Logic

This book, meant for undergraduate mathematics students and teachers, introduces algebraic number theory through problems from ordinary number theory that can be solved with the help of algebraic numbers, using a suitable generalization of unique prime factorization. The material is motivated by weaving historical information throughout.

Table des matières

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.

A propos de l'auteur

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.

Détails du produit

• Auteurs: Joseph Mileti, Joseph (Grinnell College Mileti
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 31.08.2022
• EAN: 9781108833141
• ISBN: 978-1-108-83314-1
• Pages: 550
• Thèmes: Cambridge Mathematical Textbooks; Cambridge Mathematical Textboo
• Catégories: Littérature spécialisée > Philosophie, religion > Philosophie: général, ouvrages de référence; Sciences naturelles, médecine, informatique, technique > Mathématiques > Bases; PHILOSOPHY / Logic, MATHEMATICS / Logic, Mathematical logic, Philosophy: logic