Résumé
Logique mathématique - 1971
Un grand classique de logique mathématique, introuvable même en anglais.
Sommaire
- Logique mathématique élémentaire
- Le calcul propositionnel
- Le calcul des prédicats
- Le calcul des prédicats avec égalité
- La logique mathématique et les fondements des mathématiques
- Les fondements des mathématiques
- Calculabilité et décidabilité
- Le calcul des prédicats (Suppléments)
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Jacques Gabay |
Auteur(s) | Stephen C. Kleene |
Parution | 03/05/2000 |
Nb. de pages | 416 |
Format | 17 x 24 |
Couverture | Broché |
Poids | 815g |
Intérieur | Noir et Blanc |
EAN13 | 9782876470057 |
ISBN13 | 978-2-87647-005-7 |
Avantages Eyrolles.com
Nos clients ont également acheté
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