Nantilus
Logique mathématique : cours et exercices
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Logique mathématique : cours et exercices / René Cori,... Daniel Lascar,...; préf. de J.-L. Krivine |
| Publié : |
Paris, Milan, Barcelone :
Masson
, 1993 |
| Description matérielle : | 2 vol. (385, 347 p.) |
| Collection : | Axiomes (Paris) |
| Contenu : | Vol. 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats. Vol. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
| Sujets : |
Chargement en cours