TY  - BOOK
AU  - Kreisel,Georg
AU  - Krivine,Jean Louis
TI  - Éléments de logique mathématique: théorie des modèles 
PY  - 1967///
CY  - Paris
PB  - Dunod
KW  - Lógica simbólica y matemática
KW  - Matemáticas
ER  -