Zur Widerspruchsfreiheit einer typenfreien Logik.
Schütte, K.
Mathematische Annalen, Tome 125 (1952), p. 394-400 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1952-01-01
EUDML-ID : urn:eudml:doc:160320 
@article{GDZPPN002283271,
     title = {Zur Widerspruchsfreiheit einer typenfreien Logik.},
     journal = {Mathematische Annalen},
     volume = {125},
     year = {1952},
     pages = {394-400},
     zbl = {0050.24405},
     url = {http://dml.mathdoc.fr/item/GDZPPN002283271}
}

Schütte, K. Zur Widerspruchsfreiheit einer typenfreien Logik.. Mathematische Annalen, Tome 125 (1952) pp. 394-400. http://gdmltest.u-ga.fr/item/GDZPPN002283271/