TY - BOOK TI - INTRODUCCION A LA LOGICA FORMAL U1 - 160 CY - S.L. ER -