TY - BOOK AU - Sacristán Luzón,Manuel TI - Introducción a la lógica y al análisis formal AV - BC 78.S7 S32 PY - 1964/// CY - Barcelona PB - Ariel KW - Lógica ER -