TY - BOOK AU - Sacristán,Manuel TI - Introducción a la lógica y al análisis formal T2 - Colección Convivium SN - 8434439018 PY - 1973///] CY - Esplugas de Llobregat (Barcelona) PB - Ariel KW - Lógica matemática ER -