Un Curso de Lógica Matemática
1972·filosofia
Un libro de texto que introduce a los fundamentos de la lógica matemática, incluyendo la teoría de modelos, la teoría de la recursión y la teoría de la prueba. Ofrece una visión general de los conceptos clave y las técnicas utilizadas en el campo.
