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.