Envios by Jeremy Jager

Bell on Choice on Martin-Lof

Challenging the Transcendental Position - Romano

Individual Choice Sequences in the Work of L.E.J. Brouwer

The Constructive Hilbert Program - Rathjen