TY - BOOK AU - Arnaz,Jose TI - Iniciacion a la logica simbolica U1 - 511.3 A761I PY - 1979/// CY - [s.l.] PB - Trillas ER -