Introducción a la Lógica de Primer Orden
1968·ensayo
Un texto fundamental que introduce al lector a los principios de la lógica de primer orden de manera rigurosa y formal, con énfasis en la demostración de teoremas y la construcción de sistemas lógicos.



