A Formalisation of Post's m-valued Propositional Calculus.
Mathematische Zeitschrift (1952)
- Volume: 56, page 94-104
- ISSN: 0025-5874; 1432-1823
Access Full Article
topHow to cite
topRose, Alan. "A Formalisation of Post's m-valued Propositional Calculus.." Mathematische Zeitschrift 56 (1952): 94-104. <http://eudml.org/doc/169275>.
@article{Rose1952,
author = {Rose, Alan},
journal = {Mathematische Zeitschrift},
keywords = {philosophy and foundations of mathematics},
pages = {94-104},
title = {A Formalisation of Post's m-valued Propositional Calculus.},
url = {http://eudml.org/doc/169275},
volume = {56},
year = {1952},
}
TY - JOUR
AU - Rose, Alan
TI - A Formalisation of Post's m-valued Propositional Calculus.
JO - Mathematische Zeitschrift
PY - 1952
VL - 56
SP - 94
EP - 104
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/169275
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.