@article{MAN_1954__127_160377,
     author = {A. Rose},
     title = {A {Formalisation} of the {2-Valued} {Propositional} {Calculus} with {Self-dual} {Primitives.}},
     journal = {Mathematische Annalen},
     pages = {255--257},
     publisher = {mathdoc},
     volume = {127},
     year = {1954},
     zbl = {0055.00501},
     url = {http://geodesic.mathdoc.fr/item/MAN_1954__127_160377/}
}