Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices. - Skolem, Th. (Mathematica Scandinavica, 1958)