
por Elliott Mendelson · 1964
Sinopsis
Un texto clásico y exhaustivo sobre lógica matemática, que cubre lógica de primer orden, teoría de modelos, recursión y teoremas de incompletitud.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda