R. Iemhoff, 1969
doctor
Name | R. Iemhoff |
---|---|
Full name | Rosalie |
Gender | female |
Born | 1969, Rotterdam, Nederland |
Publications | [UvA-catalogus] |
Link to this person | https://albumacademicum.uva.nl/en/id/id051686 |
Education
Education | Wiskunde |
---|---|
Degree |
May 15, 2001
|
Exam level | promotie |
Institution | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
Thesis | Provability logic and admissible rules |
Keyword | logica, verzamelingsleer, Bewijstheorie, Intuïtionisme, Propositielogica |
Supervisor(s) |
|
Assistent supervisor(s) |
|