Logique mathématique. Tome 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats [ Livre] / René, Cori / Daniel, Lascar ; Jean-Louis, Krivine (préface de)

Auteur principal: Cori, RenéCo-auteur: Lascar, DanielLangue: Français.Publication : Paris : Dunod, 2003Description : 2 vol. (XV-385 p., ) ; 24 cmISBN: 210005452X; 2100054538.Collection: Sciences supClassification: F 4 1 Logique mathématiqueSujet - Nom commun: Logique symbolique et mathématique -- Problèmes et exercices | Logique symbolique et mathématique | Calcul propositionnel | Calcul des prédicats | Boole, Algèbre de
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 COR (Browse shelf) Exclu du prêt F 4 1 Logique mathématique 030660
ENS Rennes - Bibliothèque
Informatique
F 4 1 COR (Browse shelf) Available F 4 1 Logique mathématique 030659
ENS Rennes - Bibliothèque
Informatique
F 4 1 COR (Browse shelf) Checked out F 4 1 Logique mathématique 03/06/2019 00007297
ENS Rennes - Bibliothèque
Informatique
F 4 1 COR (Browse shelf) Available F 4 1 Logique mathématique 000072971

Bibliogr. p. 361-363

Bibliogr., index

Powered by Koha