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