Résumé
Noted logician and philosopher addresses various forms of
mathematical logic, discussing both theoretical
underpinnings and practical applications. After historical
survey, lucid treatment of set theory, model theory,
recursion theory and constructivism and proof theory. Place
of problems in development of theories of logic, logic's
relationship to computer science, more. Suitable for
readers at many levels of mathematical sophistication. 3
appendixes. Bibliography. 1981 edition.
Index
Contents
Preface
- One hundred years of mathematical logic
- Formalization and the axiomatic method
- Computers
- Problems and solutions
- First order logic
- Computation : Theoretical and practicable
- How many points on the line ?
- Unifications and diversifications
Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Dover |
| Auteur(s) | Hao Wang |
| Parution | 27/03/2002 |
| Nb. de pages | 282 |
| Format | 13,5 x 21,5 |
| Couverture | Broché |
| Poids | 306g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780486676326 |
| ISBN13 | 978-0-486-67632-6 |
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 Logique Logique floue
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- 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
