Franchella, Miriam, cL.E.J. Brouwer: Toward Intuitionistic Logicd, Historia Mathematica 22 (1995), 3043322
V. Peckhaus, zbMATH Open, Zbl. 0833.01017 (1996).