Cori(René).
Logique mathématique : calcul propositionnel, algèbre de boole, calcul des prédicats; cours et exercices corrigés / René Cori, Daniel Lascar ; Jean Louis Krivine, Préf. . - Paris : Dunod, 2003 . - XV-385 p. ; 24 cm. - Sciences Sup. .
Bibliogr.Index
don
517.11
Logique mathématique : calcul propositionnel, algèbre de boole, calcul des prédicats; cours et exercices corrigés / René Cori, Daniel Lascar ; Jean Louis Krivine, Préf. . - Paris : Dunod, 2003 . - XV-385 p. ; 24 cm. - Sciences Sup. .
Bibliogr.Index
don
517.11