TY - BOOK AU - Yurén Camarena,María Teresa TI - Lógica formal AV - BC59 L61 ER -