TY - BOOK AU - Canedo Chavez, Juvenal TI - Logica formal U1 - 160 CAN CY - Sta.Cruz de Tenerife-ES PB - El autor KW - LOGICA ER -