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

DOI10.7146/MATH.SCAND.A-10548zbMATH Open0092.00501OpenAlexW2531273430MaRDI QIDQ3267399FDOQ3267399

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)