Zur Stufenreduktion von Kalkülen.
Fiedler, Herbert
Archiv für mathematische Logik und Grundlagenforschung, Tome 8 (1965), p. 63-103 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1965-01-01
EUDML-ID : urn:eudml:doc:137782 
@article{GDZPPN002043300,
     title = {Zur Stufenreduktion von Kalk\"ulen.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {8},
     year = {1965},
     pages = {63-103},
     zbl = {0158.24701},
     url = {http://dml.mathdoc.fr/item/GDZPPN002043300}
}

Fiedler, Herbert. Zur Stufenreduktion von Kalkülen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 8 (1965) pp. 63-103. http://gdmltest.u-ga.fr/item/GDZPPN002043300/