Absoluteness of intuitionistic logic
Daniel M. Leivant · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1979
painstakingly listened to oral expositions of this dissertation, and conscientiously read drafts of it; his numerous corrections and improvements were of great value.My thanks go also to Dick de Jongh,