Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.

DOI10.7146/MATH.SCAND.A-10548MaRDI QIDQ3267399zbMATH OpenOpenAlexFDO

Authors Thoralf Skolem

Publication date 1958

Published in MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/165689

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(1)

• Thoralf Skolem in memoriam (1887-1963)

This page was built for publication: Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3267399)