Geodesic
A Formalisation of Post's m-valued Propositional Calculus.
Mathematische Zeitschrift, Tome 56 (1952), pp. 94-104

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : philosophy and foundations of mathematics 
@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/}
}
TY  - JOUR
AU  - Alan Rose
TI  - A Formalisation of Post's m-valued Propositional Calculus.
JO  - Mathematische Zeitschrift
PY  - 1952
SP  - 94
EP  - 104
VL  - 56
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZ_1952__56_169275/
ID  - MZ_1952__56_169275
ER  - 
%0 Journal Article
%A Alan Rose
%T A Formalisation of Post's m-valued Propositional Calculus.
%J Mathematische Zeitschrift
%D 1952
%P 94-104
%V 56
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZ_1952__56_169275/
%F MZ_1952__56_169275
Alan Rose. A Formalisation of Post's m-valued Propositional Calculus.. Mathematische Zeitschrift, Tome 56 (1952), pp. 94-104. http://geodesic.mathdoc.fr/item/MZ_1952__56_169275/