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)
Voir tout
Replier
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
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million de 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
