J. van Oosten, 1957
doctor
Naam | J. van Oosten |
---|---|
Voornamen | Jakobus |
Geslacht | man |
Geboren | 1957, Klundert, Nederland |
Publicaties | [UvA-catalogus] |
Link naar deze persoon | https://albumacademicum.uva.nl/id/id051547 |
Opleiding
Opleiding | Wiskunde en Informatica |
---|---|
Graad |
5 maart 1991
|
Examentype | promotie |
Instelling | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
Proefschrift | Exercises in realizability |
Trefwoord | logica, verzamelingsleer, Rekenkunde, Intuïtionisme, Topoi (wiskunde), Realiseerbaarheid (wiskunde) |
Promotor(en) |
|