Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.
Mathematica Scandinavica, Tome 6 (1958), pp. 231-236
@article{MS2_1958__6_165689,
author = {Th. Skolem},
title = {Remarks on the {Connection} {Between} {Intuitionistic} {Logic} and a {Certain} {Class} of {Lattices.}},
journal = {Mathematica Scandinavica},
pages = {231--236},
year = {1958},
volume = {6},
zbl = {0092.00501},
url = {http://geodesic.mathdoc.fr/item/MS2_1958__6_165689/}
}
Th. Skolem. Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.. Mathematica Scandinavica, Tome 6 (1958), pp. 231-236. http://geodesic.mathdoc.fr/item/MS2_1958__6_165689/