
por David Hilbert y Paul Bernays · 1934
Sinopsis
Una de las obras fundamentales de la metamatemática, que aborda la teoría de la demostración, la consistencia y la completitud de los sistemas formales, presentando el famoso programa de Hilbert.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1899

1899

1899

1899

1899

1899

1900

1900

1905

1909

1913

1919

1926

1928

1930
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.