D. Roorda, 1962
doctor
| Name | D. Roorda |
|---|---|
| Full name | Dirk |
| Gender | male |
| Born | 1962, Assen, Nederland |
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id052193 |
Education
| Education | Wiskunde en Informatica |
|---|---|
| Degree |
Sept. 20, 1991
|
| Exam level | promotie |
| Institution | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Resource logics : proof-theoretical investigations |
| Keyword | logica, verzamelingsleer, Logica, Bewijstheorie, Lambek-calculus |
| Supervisor(s) |
|