Geodesic
Zur Widerspruchsfreiheit einer typenfreien Logik.
Mathematische Annalen, Tome 125 (1952), pp. 394-400.

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

Mots-clés : philosophy and foundations of mathematics 
@article{MAN_1952__125_160320,
     author = {K. Sch\"utte},
     title = {Zur {Widerspruchsfreiheit} einer typenfreien {Logik.}},
     journal = {Mathematische Annalen},
     pages = {394--400},
     publisher = {mathdoc},
     volume = {125},
     year = {1952},
     zbl = {0050.24405},
     url = {http://geodesic.mathdoc.fr/item/MAN_1952__125_160320/}
}
TY  - JOUR
AU  - K. Schütte
TI  - Zur Widerspruchsfreiheit einer typenfreien Logik.
JO  - Mathematische Annalen
PY  - 1952
SP  - 394
EP  - 400
VL  - 125
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1952__125_160320/
ID  - MAN_1952__125_160320
ER  - 
%0 Journal Article
%A K. Schütte
%T Zur Widerspruchsfreiheit einer typenfreien Logik.
%J Mathematische Annalen
%D 1952
%P 394-400
%V 125
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1952__125_160320/
%F MAN_1952__125_160320
K. Schütte. Zur Widerspruchsfreiheit einer typenfreien Logik.. Mathematische Annalen, Tome 125 (1952), pp. 394-400. http://geodesic.mathdoc.fr/item/MAN_1952__125_160320/