Modern Mathematical Logic

Joseph Mileti

550 pages, parution le 30/08/2022

Ajouter à une liste

Expédié sous 24h

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

Retrait à la librairie - Paris 5e

Disponible dès le 23/09

QUANTITÉ

Résumé

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.This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.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.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.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Cambridge University Press
Auteur(s)	Joseph Mileti
Parution	30/08/2022
Nb. de pages	550
EAN13	9781108833141

Avantages Eyrolles.com

Livraison à partir de 0,01 € en France métropolitaine

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ d'un million et demi de livres disponibles

Modern Mathematical Logic

Résumé

Caractéristiques techniques

Consultez aussi