17908 Matthias Baaz/Rosalie Iemhoff: Konstruktivismus und Intuitionismus.
IMN 201 (2006), 13-23.

13019 Anil Nerode: Some lectures on intuitionistic logic.
In 4917 Odifreddi, 12-59.