Schlußweisen-Kalküle der Prädikatenlogik
Schütte, Kurt
Mathematische Annalen, Tome 122 (1950), p. 47-65 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1950-01-01
EUDML-ID : urn:eudml:doc:160199 
@article{GDZPPN002282062,
     title = {Schlu\ss weisen-Kalk\"ule der Pr\"adikatenlogik},
     journal = {Mathematische Annalen},
     volume = {122},
     year = {1950},
     pages = {47-65},
     zbl = {0036.14801},
     url = {http://dml.mathdoc.fr/item/GDZPPN002282062}
}

Schütte, Kurt. Schlußweisen-Kalküle der Prädikatenlogik. Mathematische Annalen, Tome 122 (1950) pp. 47-65. http://gdmltest.u-ga.fr/item/GDZPPN002282062/