Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
Archiv für mathematische Logik und Grundlagenforschung (1972)
- Volume: 15, page 129-145
- ISSN: 0003-9268
Access Full Article
topHow to cite
topSchwichtenberg, Helmut. "Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.." Archiv für mathematische Logik und Grundlagenforschung 15 (1972): 129-145. <http://eudml.org/doc/137875>.
@article{Schwichtenberg1972,
author = {Schwichtenberg, Helmut},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
pages = {129-145},
title = {Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.},
url = {http://eudml.org/doc/137875},
volume = {15},
year = {1972},
}
TY - JOUR
AU - Schwichtenberg, Helmut
TI - Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1972
VL - 15
SP - 129
EP - 145
UR - http://eudml.org/doc/137875
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.