Foundations of Constructive Mathematics: Metamathematical Studies

Kreisel investiga principios constructivos y su conexión con la filosofía, al igual que Beeson en su análisis metamatemático.

Heyting aborda la lógica y la teoría de conjuntos desde una perspectiva constructiva, paralela al enfoque de Beeson sobre sistemas formales.

Kushner se centra en fundamentos del análisis matemático constructivo, similar al interés de Beeson por la construcción efectiva de objetos matemáticos.

Markov profundiza en la necesidad de pruebas constructivas, un tema central en el trabajo de Beeson sobre las matemáticas constructivas.

Van Dalen ofrece un marco para entender la lógica desde la matemática constructiva, resonando con el enfoque metamatemático de Beeson.

Troelstra sistematiza la lógica constructiva y sus relaciones con la teoría de pruebas, reflejando la perspectiva de Beeson sobre la demostración matemática.