| Titels | Prof. dr. |
| Voorletters | R. |
| Hoofdfunctie | Hoogleraar |
| Leeropdracht | Mathematical logic |
| Secretaris van Arend Heyting Stichting | |
| Verbonden aan |
Universiteit Utrecht, Faculteit Geesteswetenschappen
Janskerkhof 13 Kamer1.09 3512 BL Utrecht tel. 030 253 5575 |
| Persoonlijke website | |
| Onderzoek/publicaties |
