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