Lógica matemática II. Lógica de predicados

El propósito de estos libros es proporcionar al estudiante de lógica un amplio y variado repertorio de ejercicios que le sirvan de ayuda en el aprendizaje y dominio de las técnicas deductivas. Y, aunque hemos prescindido en buena parte de los aspectos teóricos en pro de una mayor atención a las cuestiones prácticas, sin embargo, cuando ha sido preciso clarificar éstas, también ofrecemos las nociones teóricas más elementales.