Mathematical Logic

Sinopsis

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.