Una introducción a la lógica matemática
1964·ensayo
Este texto es una introducción estándar y completa a los temas principales de la lógica matemática, incluyendo el cálculo proposicional, el cálculo de predicados, y las teorías de modelos y de la recursión.


