1. HeytingIntuitionismus and Beweistheorie, Julius Sprünger.
2. S. Pankajam “On the Formal Structure of the Propositional Calculus, I and II.”Jour. Ind. Math. Society, (2), 1941, and (2) 1942.
3. K. Chandrasckharan “The Logic of Intuitionist Mathematics,”Math. Student, Vol9.