• [1] Garrett Birkhoff, Lattice theory, Third edition. American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
• [2] Haskell B. Curry, Foundations of mathematical logic, McGraw-Hill Book Co., Inc., New York-San Francisco, Calif.-Toronto-London, 1963. MR 0148529
• [3] Paul R. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, No. 1, D. Van Nostrand Co., Inc., Princeton, N.J., 1963. MR 0167440
• [4] J. C. C. McKinsey and Alfred Tarski, On closed elements in closure algebras, Ann. of Math. (2) 47 (1946), 122–162. MR 15037, https://doi.org/10.2307/1969038
• [5] Iwao Nishimura, On formulas of one variable in intuitionistic propositional calculus, J. Symbolic Logic 25 (1960), 327–331 (1962). MR 142456, https://doi.org/10.2307/2963526
• [6] Helena Rasiowa and Roman Sikorski, The mathematics of metamathematics, Monografie Matematyczne, Tom 41, Państwowe Wydawnictwo Naukowe, Warsaw, 1963. MR 0163850

Bibliography

[1]

G. Birkhoff, Lattice theory, 3rd ed., Amer. Math. Soc. Colloq. Publ., vol. 25, Amer. Math. Soc., Providence, R. I., 1967. MR 37 #2638. MR 0227053 (37:2638)

[2]

H. B. Curry, Foundations of mathematical logic, McGraw-Hill, New York, 1963. MR 26 #6036. MR 0148529 (26:6036)

[3]

P. R. Halmos, Lectures on Boolean algebras, Van Nostrand Math. Studies, no. 1, Van Nostrand, Princeton, N. J., 1963. MR 29 #4713. MR 0167440 (29:4713)

[4]

J. C. C. McKinsey and A. Tarski, On closed elements in closure algebras, Ann. of Math. (2) 47 (1946), 122-162. MR 7, 359. MR 0015037 (7:359e)

[5]

I. Nishimura, On formulas of one variable in intuitionistic propositional calculus, J. Symbolic Logic 25 (1960), 327-331. MR 26 #25. MR 0142456 (26:25)

[6]

H. Rasiowa and R. Sikorski, The mathematics of metamathematics, Monogr. Mat., Tom 41, PWN, Warsaw, 1963. MR 29 #1149. MR 0163850 (29:1149)