Résumé
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory.
Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.
Sommaire
- Preface
- Introduction
- Propositional Logic and Other Fundamentals
- First-Order Logic
- Completeness and Compactness
- Incompleteness and Undecidability
- Topics in Definability
- Set Theory
- Model Theory
- Recursion Theory
- References
- Item References
- Symbol Index
- Subject Index
Voir tout
Replier
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | AK Peters |
| Auteur(s) | Peter G. Hinman |
| Parution | 15/10/2005 |
| Nb. de pages | 880 |
| Format | 15,5 x 23,5 |
| Couverture | Relié |
| Poids | 1225g |
| Intérieur | Noir et Blanc |
| EAN13 | 9781568812625 |
| ISBN13 | 978-1-56881-262-5 |
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
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
