Elementos de lógica formal
1961·no ficcion
Una introducción integral a la lógica matemática, cubriendo la lógica proposicional, de predicados y nociones básicas de teoría de modelos y recursión. Su enfoque es claro y didáctico, presentando los conceptos de manera accesible pero rigurosa.

