Détails bibliographiques
| Auteurs principaux : |
Cori René
(Auteur),
Lascar Daniel
(Auteur) |
| 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 : |
|
Nantilus
