Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie (Q5672874)
From MaRDI portal
scientific article; zbMATH DE number 3405903
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie |
scientific article; zbMATH DE number 3405903 |
Statements
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie (English)
0 references
1972
0 references
0 references
