Skolem T. Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices. Math. Scand. [Internet]. 1958 Dec. 1 [cited 2026 Aug. 13];6:231-6. Available from: https://tidsskrift.dk/math/article/view/10548