A Formalisation of Post's m-valued Propositional Calculus.
Rose, Alan
Mathematische Zeitschrift, Tome 56 (1952), p. 94-104 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1952-01-01
EUDML-ID : urn:eudml:doc:169275 
@article{GDZPPN002382849,
     title = {A Formalisation of Post's m-valued Propositional Calculus.},
     journal = {Mathematische Zeitschrift},
     volume = {56},
     year = {1952},
     pages = {94-104},
     zbl = {0048.24407},
     url = {http://dml.mathdoc.fr/item/GDZPPN002382849}
}

Rose, Alan. A Formalisation of Post's m-valued Propositional Calculus.. Mathematische Zeitschrift, Tome 56 (1952) pp. 94-104. http://gdmltest.u-ga.fr/item/GDZPPN002382849/