HDS-13: Leivant, Daniel (2015) Absoluteness of Intuitionistic Logic. Doctoral thesis, University of Amsterdam.