@article{MZ_1952__56_169275,
     author = {Alan Rose},
     title = {A {Formalisation} of {Post's} m-valued {Propositional} {Calculus.}},
     journal = {Mathematische Zeitschrift},
     pages = {94--104},
     publisher = {mathdoc},
     volume = {56},
     year = {1952},
     zbl = {0048.24407},
     url = {http://geodesic.mathdoc.fr/item/MZ_1952__56_169275/}
}