Geodesic
A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
Mathematische Annalen, Tome 127 (1954), pp. 255-257 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

Mots-clés : philosophy and foundations of mathematics 
@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},
     year = {1954},
     volume = {127},
     zbl = {0055.00501},
     url = {http://geodesic.mathdoc.fr/item/MAN_1954__127_160377/}
}
TY  - JOUR
AU  - A. Rose
TI  - A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
JO  - Mathematische Annalen
PY  - 1954
SP  - 255
EP  - 257
VL  - 127
UR  - http://geodesic.mathdoc.fr/item/MAN_1954__127_160377/
ID  - MAN_1954__127_160377
ER  - 
%0 Journal Article
%A A. Rose
%T A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
%J Mathematische Annalen
%D 1954
%P 255-257
%V 127
%U http://geodesic.mathdoc.fr/item/MAN_1954__127_160377/
%F MAN_1954__127_160377
A. Rose. A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.. Mathematische Annalen, Tome 127 (1954), pp. 255-257. http://geodesic.mathdoc.fr/item/MAN_1954__127_160377/