TY  - JOUR
AU  - A. Rose
TI  - A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
JO  - Mathematische Annalen
PY  - 1954
SP  - 255
EP  - 257
VL  - 127
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1954__127_160377/
ID  - MAN_1954__127_160377
ER  -