Mathematical Logic
1967·no ficcion
Un libro de texto clásico sobre lógica matemática que cubre la teoría de conjuntos, la teoría de modelos, la teoría de la recursión y la teoría de la demostración, con un énfasis en los fundamentos de las matemáticas.
