[2] Rieger Lad.:
A note on Topological Representations of Distributive Lattices. Čas. mat. fys. 74 (1949), 55-61.
MR 0032580 |
Zbl 0036.01703
[3] Rieger Lad.:
On the Lattice Theory of Brouwerian Propositional Logic. Acta fac. rerum nat. Univ. Car. 1949, 189, 1-40.
MR 0040245
[4] Mc Kinsey I. C. C., Tarski A.:
Some theorems about the Sentential Calculi of Lewis and Heyting. J. S. L. 13 (1948), 1-16.
MR 0024396