Ed. Univ. de Navarra. Pamplona 1986 22 cm., 279 pag. Este es un libro para el principiante, diseñado para familiarizarle a lo largo de un curso semestral con un sistema completo de lógica cuantificacional y darle los medios para comprobar que el sistema es completo y que ningún sistema de lógica cuantificacional es decidible. FILOSOFIA-PENSAMIENTO .