Geodesic
Schlußweisen-Kalküle der Prädikatenlogik
Mathematische Annalen, Tome 122 (1950), pp. 47-65.

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_160199,
     author = {Kurt Sch\"utte},
     title = {Schlu{\ss}weisen-Kalk\"ule der {Pr\"adikatenlogik}},
     journal = {Mathematische Annalen},
     pages = {47--65},
     publisher = {mathdoc},
     volume = {122},
     year = {1950},
     zbl = {0036.14801},
     url = {http://geodesic.mathdoc.fr/item/MAN_1950__122_160199/}
}
TY  - JOUR
AU  - Kurt Schütte
TI  - Schlußweisen-Kalküle der Prädikatenlogik
JO  - Mathematische Annalen
PY  - 1950
SP  - 47
EP  - 65
VL  - 122
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1950__122_160199/
ID  - MAN_1950__122_160199
ER  - 
%0 Journal Article
%A Kurt Schütte
%T Schlußweisen-Kalküle der Prädikatenlogik
%J Mathematische Annalen
%D 1950
%P 47-65
%V 122
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1950__122_160199/
%F MAN_1950__122_160199
Kurt Schütte. Schlußweisen-Kalküle der Prädikatenlogik. Mathematische Annalen, Tome 122 (1950), pp. 47-65. http://geodesic.mathdoc.fr/item/MAN_1950__122_160199/