Intuicionismo y Teoría de la Prueba
por Arend Heyting · 1956
Sinopsis
Una exposición clara y concisa de las bases del intuicionismo matemático, la lógica intuicionista y su relación con la teoría constructiva de la prueba.
Sé el primero en valorar este libro.
Más de Arend Heyting
Ver autor →Otras obras del mismo autor en el catálogo
Esbozo de lógica intuitionista
1930
Sobre la Fundamentación del Intuicionismo Matemático
1931
La Noción de Prueba en la Lógica Intuitiva
1934
La crisis de los fundamentos en la matemática moderna
1934
Lógica y fundamentos de la matemática
1934
Introducción al intuicionismo
1956
Elementos de Lógica Constructiva
1956
Los Fundamentos Intuicionistas de la Matemática
1966
Libros similares
Libros relacionados según distintos criterios de búsqueda