TY  - JOUR
AU  - A. Rose
TI  - A Lattice-theoretic Characterisation of the Xo-valued Propositional Calculus.
JO  - Mathematische Annalen
PY  - 1951
SP  - 285
EP  - 287
VL  - 123
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1951__123_160246/
ID  - MAN_1951__123_160246
ER  -