Entre sus obras destaca la "Introducción a la lógica formal" (1974), con la que logra una introducción amena y con sentido del humor a los conceptos generales de lógica, a la lógica de enunciados y la lógica de predicados de primer orden, así como esboza también algunas otras lógicas (clásicas y "no-clásicas"), y plantea algunas de las cuestiones lógico-filosóficas más importantes.