Sistemas Formales de Lógica y su Construcción Recursiva
por Hao Wang · 1970
Sinopsis
Un libro que explora en detalle la teoría de los sistemas formales, la metamatemática y los procesos de decisión, incluyendo la obra de Kurt Gödel y Turing, desde una perspectiva matemática rigurosa.
Sé el primero en valorar este libro.
Más de Hao Wang
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda