1. Boolos, G., The Logic of Provability, Cambridge University Press, Cambridge, 1993. Zbl 0891.03004 MR 95c:03038
2. Hájek, P., and P. Pudlák, Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer, Berlin, 1991. Zbl 0781.03047 MR 94d:03001
3. de Jongh, D.H.J., Investigations on the Intuitionistic Propositional Calculus, Ph.D. thesis, University of Wisconsin, Madison, 1968.
4. de Jongh, D.H.J., “The maximality of the intuitionistic predicate calculus with respect to Heyting's Arithmetic,” The Journal of Symbolic Logic, vol. 36 (1970), p. 606.
5. de Jongh, D.H.J., and C. Smoryński, “Kripke models and the intuitionistic theory of species,” Annals of Mathematical Logic, vol. 9 (1976), pp. 157–86. Zbl 0317.02037 MR 53:5266