TY  - BOOK
AU  - Mosterín, Jesús
TI  - Lógica de primer orden
SN  - 84-344-1003-6
AV  - BC 128 M69
PY  - 1983///
CY  - Barcelona
PB  - Ariel
KW  - Lógica simbólica y matemática
N1  - Incluye bibliografía
ER  -