Esbozo de lógica intuitionista
por Arend Heyting · 1930
Sinopsis
Heyting formaliza la lógica intuitionista de Brouwer, donde el principio del tercero excluido no es universalmente válido y la existencia matemática requiere una construcción explícita.
Sé el primero en valorar este libro.
Más de Arend Heyting
Ver autor →Otras obras del mismo autor en el catálogo
Sobre la Fundamentación del Intuicionismo Matemático
1931
La crisis de los fundamentos en la matemática moderna
1934
La Noción de Prueba en la Lógica Intuitiva
1934
Lógica y fundamentos de la matemática
1934
Elementos de Lógica Constructiva
1956
Intuicionismo y Teoría de la Prueba
1956
Introducción al intuicionismo
1956
Los Fundamentos Intuicionistas de la Matemática
1966
Libros similares
Libros relacionados según distintos criterios de búsqueda