TY - BOOK AU - TI - Introducción a la lógica formal T2 - Alianza Universidad Textos SN - 8420680117 AV - BC135 .D335 1978 PY - 1978/// CY - Madrid PB - Alianza KW - Logic, Symbolic and mathematical KW - Local N1 - Includes bibliographical references ER -