R
Rosalie Iemhoff
4 works on record
Works
Logic, Language, Information, and Computation
Liber Amicorum Alberti. A Tribute to Albert Visser
Liber Amicorum Alberti. A Tribute to Albert Visser
Dick de Jongh on Intuitionistic and Provability Logics
Dick de Jongh on Intuitionistic and Provability Logics
Provability logic and admissible rules
Provability logic and admissible rules