Skolem T. Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices. Math. Scand. [Internet]. 1958 Dec. 1 [cited 2024 Nov. 23];6:231-6. Available from: https://www.mscand.dk/article/view/10548