Library Catalog

Logique mathématique : cours et exercices corrigés / René Cori, Daniel Lascar ; préface de Jean-Louis Krivine.

By: Contributor(s): Material type: TextTextPublication details: Paris : Dunod, c2003.Description: 2 v. : tab. ; 24 cmSubject(s): Other classification:
  • QA 9.C74-1,2
Contents:
Vol. 1: Calcul propositionnel, algèbre de Boole, calcul des prédicats. - xv, 385 p.
Vol. 2: Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. - 347 p.
Holdings
Item type Current library Call number Vol info Status Barcode
Opera (Magaz.) Opera (Magaz.) Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Magazzino QA 9.C74-1 (Browse shelf(Opens below)) Vol. 1 Calcul propositionnel, algèbre de Boole, calcul des prédicats Available 0030151583
Opera (Magaz.) Opera (Magaz.) Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Magazzino QA 9.C74-2 (Browse shelf(Opens below)) Vol. 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Available 0030151578

Indici.

Vol. 1: Calcul propositionnel, algèbre de Boole, calcul des prédicats. - xv, 385 p.

Vol. 2: Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. - 347 p.