Logique mathématique : cours et exercices
Enregistré dans:
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 : |
Variantes de titre : | Calcul propositionnel, algèbres de Boole, calcul des prédicats Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
---|---|
Bibliographie : | Bibliogr., t. 1, p. 361-363 et t. 2, p. 323-325. Index |
ISBN : | 2-225-84079-2 2-225-84080-6 |