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

Auteur principal: Cori, RenéCo-auteur: Lascar, DanielLangue: Français.Publication : Paris : Masson, cop. 1993Description : 1 vol. (XV-385 p.) ; 24 cmISBN: 2225840792.Collection: Axiomes, 1243-4264
Current 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

Powered by Koha