Elementos de Lógica Matemática
1964·no ficcion
Este libro introduce los conceptos fundamentales de la lógica matemática, incluyendo la lógica proposicional, la lógica de predicados y las teorías formales, con un énfasis en las pruebas y la consistencia de los sistemas deductivos.
