Rosalie Iemhoff

No bio available. Add one in Open Library.

Books by Rosalie Iemhoff (50 max)

+ shelf+ list

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings

2007

Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz

+ shelf+ list

Provability logic and admissible rules

2001

Rosalie Iemhoff

+ shelf+ list

Liber Amicorum Alberti. A Tribute to Albert Visser

2016

Jan van Eijck, Rosalie Iemhoff, Joost J Joosten

+ shelf+ list

Dick de Jongh on Intuitionistic and Provability Logics

2024

Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang