
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 du livre "Logique mathématique"
PAPIER | ||
Éditeur(s) | Jacques Gabay | |
Auteur(s) | Stephen C. Kleene | |
Parution | 01/01/1987 | |
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
Livraison à partir de 0,01 € en France métropolitaine (1)
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ de 700 000 livres disponibles
Consultez aussi
- 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