K. Sasaki, 1965
doctor
| Name | K. Sasaki |
|---|---|
| Full name | Katsumi |
| Gender | male |
| Born | 1965, Aichi, Japan |
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id052114 |
Education
| Education | Informatica |
|---|---|
| Degree |
Sept. 11, 2001
|
| Exam level | promotie |
| Institution | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Logics and provability |
| Keyword | logica, verzamelingsleer, Intuïtionisme, Bewijstheorie, Modeltheorie, Modale logica |
| Supervisor(s) |
|