Skolem T. Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices. Math. Scand. 1958;6:231-236. doi:10.7146/math.scand.a-10548