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)
  • prof. dr. A.S. Troelstra, Universiteit van Amsterdam
Terug naar zoek resultaten