R. Iemhoff, 1969
doctor
Naam | R. Iemhoff |
---|---|
Voornamen | Rosalie |
Geslacht | vrouw |
Geboren | 1969, Rotterdam, Nederland |
Publicaties | [UvA-catalogus] |
Link naar deze persoon | https://albumacademicum.uva.nl/id/id051686 |
Opleiding
Opleiding | Wiskunde |
---|---|
Graad |
15 mei 2001
|
Examentype | promotie |
Instelling | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
Proefschrift | Provability logic and admissible rules |
Trefwoord | logica, verzamelingsleer, Bewijstheorie, Intuïtionisme, Propositielogica |
Promotor(en) |
|
Copromotor(en) |
|