1. Intuitionistic logic, model theory and forcing;Fitting,1970
2. Sheaves and logic;Fourman,1979
3. Classically and intuitionistically provably recursive functions;Friedman,1978
4. Concerning formulas of the types A → B v C, A → (Ex)Bx in intuitionistic formal systems;Harrop;JSL,1960
5. Jongh, D.H.J., de (1968), Investigations on the intuitionistic propositional calculus Ph.D. Thesis, University of Wisconsin, Madison. (Univ.Microfilms 69–894)