1. Beth E. W., ‘Sementic entailment and formal derivability’,Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N. R.,18, (13) 309–342 (1955).
2. Curry, H. B.,Foundations of Mathematical Logic, New York (1977).
3. De Bruijn, N. G., ‘Exact finite models for minimal propositional calculus over a finite alphabet, Technological University Eindhoven, Report 75-WSK-02 (1975).
4. Memorandum;N. G. Bruijn De,1975
5. De Jongh, D. H. J., ‘Investigations on the intuitionistic propositional calculus’, Doctoral Dissertation, University of Wisconsin (1968).