TY - BOOK AU - Deaño,Alfredo TI - Introduccion a la logica formal AV - BC117.E8 D4 PY - 1974/// CY - Madrid PB - Alianza KW - Lógica N1 - Contenido : v. 1. La logica de los enunciados -- v. 2. La logica de predicados ER -