-
L’ouvrage explore en profondeur le calcul des propositions et le calcul des prédicats à travers des systèmes formels rigoureux.
-
Il aborde des concepts clés tels que la consistance, la complétude et les célèbres théorèmes d’incomplétude de Gödel.
-
L’auteur met l’accent sur l’application pratique de la logique en mathématiques, en évitant les digressions purement philosophiques.
-
Le texte inclut de nombreux exemples et exercices corrigés pour guider efficacement le lecteur dans l’assimilation des théories.
Logic for Mathematicians
A.G. Hamilton
1988
200,00 MAD
Ce manuel incontournable présente de manière claire et accessible les fondements de la logique formelle indispensables aux étudiants et professionnels des mathématiques.
| Format | Grand Format |
|---|---|
| L’état | Bon état |
1 en stock
Description
Avis
Il n’y a pas encore d’avis.