Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.
Mathematica Scandinavica, Tome 6 (1958), pp. 231-236
Voir la notice de l'article provenant de la source European Digital Mathematics Library
@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},
publisher = {mathdoc},
volume = {6},
year = {1958},
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/