TY - BOOK TI - Lógica simbólica U1 - 511.3 PY - 1974/// ER -