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)
Langue: 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 deCurrent 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