Introducción a la lógica matemática
1947·divulgacion
Una introducción concisa pero profunda a la lógica matemática, cubriendo temas como la lógica proposicional, la lógica de predicados y los fundamentos de las matemáticas desde una perspectiva constructivista.


