Logique mathématique, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori,...Daniel Lascar,... ; Préface de Jean-Louis Krivine.
Langue : français.Pays : France.Publication : Paris : Dunod, impr. 2007.Description : 1 vol. (XV-385 p.) ; 24 cm.ISBN : 210005452X.Collection: Sciences sup., 1Sujet - Nom commun: Logique symbolique et mathématique -- Manuels d'enseignement supérieur | Calcul des prédicats | Boole, Algèbre de | Calcul propositionnel | Logique symbolique et mathématique -- Problèmes et exercices| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Non communiqué | IREM P7 | 05 COR 03-1 (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 7822 | |
| Non communiqué | IREM P7 | 05 COR 03-1 a (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 10042 |
Parcourir IREM P7 les étagères Fermer l'étagère (Fermer la navigation sur l'étagère)
| 05 CHU 56 a Introduction to mathematical logic. | 05 CHU 56 b Introduction to mathematical logic. | 05 CHU 56 c Introduction to mathematical logic. | 05 COR 03-1 Logique mathématique | 05 COR 03-1 a Logique mathématique | 05 COR 03-2 Logique mathématique | 05 COR 03-2 a Logique mathématique |
Il n'y a pas de commentaire pour ce titre.