-
Rosalie Iemhoff (born 1969) is a
Dutch logician whose research interests include intuitionistic logic and
proof theory. She is a
professor in the Department...
- Intuitionism. Look up
intuitionism in Wiktionary, the free dictionary.
Iemhoff,
Rosalie (11 June 2019). "Intuitionism in the
Philosophy of Mathematics"...
- (2008)
Rybakov (1997), Cor. 4.3.20
Iemhoff (2001, 2005), Rozière (1992) Jeřábek (2005) Jeřábek (2005, 2008)
Iemhoff (2001), Jeřábek (2005)
Rybakov (1997)...
-
University of
Amsterdam Thesis Intuitionistic General Topology (1966)
Doctoral advisor Arend Heyting Doctoral students Rosalie Iemhoff Ieke Moerdijk...
-
Hayes Janina Hosi****on-Lindenbaum
Verena Huber-Dyson (1923-2016)
Rosalie Iemhoff Constance Jones Lyudmila Keldysh Iryna Khomenko Jane
Kister Martha Kneale...
-
published by
Springer Science+Business Media. The editors-in-chief are
Rosalie Iemhoff (Utrecht University),
Reinhard Muskens (University of Amsterdam), and Kai...
-
Christian Worldview.
InterVarsity Press. p. 54. ISBN 978-0-8308-7649-5.
Iemhoff, Rosalie; Moortgat, Michael; Queiroz, Ruy de (2019-06-23). Logic, Language...
- vice
chancellor of the
University of the
Philippines Diliman Rosalie Iemhoff (born 1969),
Dutch logician Mihaela Ignatova,
Bulgarian mathematical analyst...
-
Information and Com****tion - 26th
International Workshop,
WoLLIC 2019,
Rosalie Iemhoff,
Michael Moortgat & Ruy de
Queiroz (eds.), Utrecht, The Netherlands, July...
