TY  - BOOK
AU  - Mosterín,Jesús
TI  - Lógica de primer orden
T2  - Colección Convivium
U1  - 160/M855l/1976 
PY  - 1976///
CY  - Barcelona, España 
PB  - Ariel.
KW  - LOGICA
N1  - Bibliografía: p. 139-140
ER  -