Logique mathématique : cours et exercices corrigés /
Cori, René, 1949-
Logique mathématique : cours et exercices corrigés / René Cori, Daniel Lascar ; préface de Jean-Louis Krivine. - Paris : Dunod, c2003. - 2 v. : tab. ; 24 cm.
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.
Logica matematica--Manuali
Logique mathématique : cours et exercices corrigés / René Cori, Daniel Lascar ; préface de Jean-Louis Krivine. - Paris : Dunod, c2003. - 2 v. : tab. ; 24 cm.
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.
Logica matematica--Manuali