D. Roorda, 1962
doctor
| Naam | D. Roorda |
|---|---|
| Voornamen | Dirk |
| Geslacht | man |
| Geboren | 1962, Assen, Nederland |
| Publicaties | [UvA-catalogus] |
| Link naar deze persoon | https://albumacademicum.uva.nl/id/id052193 |
Opleiding
| Opleiding | Wiskunde en Informatica |
|---|---|
| Graad |
20 september 1991
|
| Examentype | promotie |
| Instelling | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Proefschrift | Resource logics : proof-theoretical investigations |
| Trefwoord | logica, verzamelingsleer, Logica, Bewijstheorie, Lambek-calculus |
| Promotor(en) |
|