Rosalie Iemhoff

• Logic, Language, Information, and Computation
• Dick de Jongh on Intuitionistic and Provability Logics
• Liber Amicorum Alberti. A Tribute to Albert Visser
• Provability logic and admissible rules