Jaap van Oosten
Ph.D. Universiteit van Amsterdam 1991
Dissertation:
Exercises in Realizability
Advisor: Anne Sjerp Troelstra
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Pieter Hofstra | Universiteit Utrecht | 2003 |
According to our current on-line database, Jaap van Oosten has 1 student and 1 descendant.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form.