Monographie
Logique mathématique : Cours et exercices, Vol. I : Calcul propositionnel, algèbres de Boole, calcul des prédicats
Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis (Préf.)
1993
xv, 385 p.
2-225-84079-2
CORI l I
Bibliothèque de l'IECL
IECL IECL
Class. Mathématique : 03-01
N° de l'édition : 3ème tirage corrigé
Pays d'édition : France
Ville d'édition : Paris/Milan/Barcelone
Langue : français
Format : 24 cm
Collection : Axiomes
Bibliographie : Bibliogr. p. 361-363/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | CORI l I MAT002864 |
F 233.65 - Librairie Didier [disponible] |
YRéserver |