TY  - BOOK
AU  - Cori,René
AU  - Lascar,D
TI  - Logique mathématique, cours et exercices
T2  - Axiomes
SN  - 2-225-84080-6
PY  - 0000///24 cm
CY  - Paris
PB  - Masson
KW  - Lógica simbólica y matemática
KW  - Funciones recursivas
KW  - Modelos, Teoría de
N1  - Bibliographie. Index; vol 2; Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles; René Cori, Daniel Lascar ; préface de J.L. Krivine
ER  -