TY - BOOK AU - Sacristán Luzón,Manuel TI - Introducción a la lógica y al análisis formal PY - 1969/// CY - Barcelona PB - Ediciones Ariel KW - Logic KW - Local ER -