Fundamentos de la lógica y la teoría axiomática
1925·divulgacion
Este texto aborda la lógica desde una perspectiva constructivista, precursora del intuicionismo de Heyting, centrándose en la validez demostrable a través de construcciones efectivas en lugar de la verdad por correspondencia clásica.




