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