Introducción a la Lógica de Primer Orden
1968·no ficcion
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.


