TY - BOOK AU - Mosterín,Jesús TI - Logica de primer orden T2 - Colección convivium AV - BC128 M67 PY - 1970/// CY - Barcelona PB - Ariel KW - Lógica de primer orden ER -