Sobre la lógica de la matemática constructiva
1972·no ficcion
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.
