TY - BOOK AU - Gutiérrez Ramos, Daniel. TI - Iniciación a la lógica formal simbólica; lógica proposicional U1 - 511.3 PY - 1975/// CY - México, D.F., PB - CECSA KW - Lógica simbólica y matemática ER -