TY - BOOK AU - Arnaz,Jose Antonio TI - Iniciacion a la logica simbolica AV - BC135 .A7 1980 PY - 1980/// PB - Trillas ER -