Sobre la lógica de la matemática constructiva
por A. A. Markov · 1972
Sinopsis
Una breve monografía donde el autor explica el concepto de 'matemática constructiva' y argumenta sobre la necesidad de una lógica propia, distinta de la clásica, para esta rama de las matemáticas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda