Logique mathématique - Tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices, 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats [ Livre] ; préface de J.L. Krivine / Daniel, Lascar / René, Cori
Langue: Français.Publication : Paris : Masson, cop. 1993Description : 1 vol. (XV-385 p.) ; 24 cmISBN: 2225840792.Collection: Axiomes, 1243-4264Current location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 1 COR (Browse shelf) | Available | F 4 1 Logique mathématique | 00002098 |