A.P. Gheerbrant, 1980

doctor

Naam A.P. Gheerbrant
Voornamen Amélie Pauline
Geslacht vrouw
Geboren 1980, Paris, Frankrijk
Publicaties [UvA-catalogus]
Link naar deze persoon https://albumacademicum.uva.nl/id/id100372

Opleiding

Graad
9 december 2010
Examentype promotie
Instelling
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Fixed-point logics on trees
Trefwoord logica, verzamelingsleer, Bomen (wiskunde), Fix point methoden, Bewijstheorie, Modeltheorie, Speltheorie, Logica
Promotor(en)
  • prof. dr. J.F.A.K. van Benthem, Universiteit van Amsterdam
Copromotor(en)
  • dr. B.D. ten Cate, University of California Santa Cruz, USA
Terug naar zoek resultaten