P. Henk, 1986

doctor

Name P. Henk
Full name Paula
First name Paula
Gender female
Born 1986, Tallinn, Estland
Publications [UvA-catalogus]
Link to this person https://albumacademicum.uva.nl/en/id/id170263

Education

Education Logica
Degree
Dec. 16, 2016
Exam level promotie
Institution
Faculteit der Natuurwetenschappen, Wiskunde en Informat
Universiteit van Amsterdam
Thesis Nonstandard provability for Peano Arithmetic: a model perspective
Supervisor(s)
  • prof. dr. A. Visser, Universiteit te Utrecht
  • prof. dr. F.J.M.M. Veltman, Universiteit van Amsterdam
Assistent supervisor(s)
  • prof. dr. D.H.J. de Jongh, Universiteit van Amsterdam
  • dr. V.Y. Shavrukov, Independent researcher
Back to search results