K. Sasaki, 1965
doctor
| Naam | K. Sasaki |
|---|---|
| Voornamen | Katsumi |
| Geslacht | man |
| Geboren | 1965, Aichi, Japan |
| Publicaties | [UvA-catalogus] |
| Link naar deze persoon | https://albumacademicum.uva.nl/id/id052114 |
Opleiding
| Opleiding | Informatica |
|---|---|
| Graad |
11 september 2001
|
| Examentype | promotie |
| Instelling | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
| Proefschrift | Logics and provability |
| Trefwoord | logica, verzamelingsleer, Intuïtionisme, Bewijstheorie, Modeltheorie, Modale logica |
| Promotor(en) |
|