
por David Hilbert · 1928
Sinopsis
Un texto clásico que establece las bases de la lógica matemática formal, presentando los sistemas axiomáticos, la prueba de teoremas y la noción de consistencia y completitud en la lógica de predicados.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1893

1897

1899

1899

1899

1899

1899

1899

1899

1899

1899

1899

1899

1899

1899
Libros relacionados según distintos criterios de búsqueda