
por Elliott Mendelson · 1964
Sinopsis
Este texto es una introducción estándar y completa a los temas principales de la lógica matemática, incluyendo el cálculo proposicional, el cálculo de predicados, y las teorías de modelos y de la recursión.
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