1. D.H. J. DE JONGH [1968] Investigations on the intuitionistic propositional calculus, Ph.D. Thesis, University of Wisconsin, Madison, WI, University Microfilms, Ann Arbor, MI.
2. Infinite Boolean polynomials, I;Gaifman;Fund. Math.,1964
3. C. GOAD [1978] Monadic infinitary propositional logic: a special operator, Reports on Math. Logic.
4. On the non-existence of free complete Boolean algebras;Hales;Fund. Math.,1964
5. Constructing a sequence of strongly independent superintuitionistic propositional calculi;Jankov;Sov. Math. Dokl.,1968