Completeness of Lukasiewicz-Tarski PropositionaICalculi
Mathematische Annalen, Tome 122 (1950), pp. 296-298.

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

Mots-clés : Philosophy and foundations of mathematics
@article{MAN_1950__122_160218,
     author = {Alan Rose},
     title = {Completeness of {Lukasiewicz-Tarski} {PropositionaICalculi}},
     journal = {Mathematische Annalen},
     pages = {296--298},
     publisher = {mathdoc},
     volume = {122},
     year = {1950},
     zbl = {0041.14901},
     url = {http://geodesic.mathdoc.fr/item/MAN_1950__122_160218/}
}
TY  - JOUR
AU  - Alan Rose
TI  - Completeness of Lukasiewicz-Tarski PropositionaICalculi
JO  - Mathematische Annalen
PY  - 1950
SP  - 296
EP  - 298
VL  - 122
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1950__122_160218/
ID  - MAN_1950__122_160218
ER  - 
%0 Journal Article
%A Alan Rose
%T Completeness of Lukasiewicz-Tarski PropositionaICalculi
%J Mathematische Annalen
%D 1950
%P 296-298
%V 122
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1950__122_160218/
%F MAN_1950__122_160218
Alan Rose. Completeness of Lukasiewicz-Tarski PropositionaICalculi. Mathematische Annalen, Tome 122 (1950), pp. 296-298. http://geodesic.mathdoc.fr/item/MAN_1950__122_160218/