Skolem, T. 1958. Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices. MATHEMATICA SCANDINAVICA. 6, (Dec. 1958), 231–236. DOI:https://doi.org/10.7146/math.scand.a-10548.