Normal view MARC view ISBD view

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

By:

Contributor(s):

Material type: Text

TextPublication details: Paris : Dunod, c2003.Description: 2 v. : tab. ; 24 cmSubject(s):

Other classification:

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.)	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.)	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

Previous	No cover image available		No cover image available	No cover image available	No cover image available			Next
Previous	QA 9.B26 Filosofia della matematica /	QA 9.B81 I numeri nella storia dell'umanità /	QA 9.C74-1 Logique mathématique : cours et exercices corrigés /	QA 9.C74-2 Logique mathématique : cours et exercices corrigés /	QA 9.D2 1931 Le nombre : langage de la science /	QA 9.E54 A mathematical introduction to logic /	QA 9.G64 Ipotesi sulla natura degli oggetti matematici /	Next

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.