Grzegorcyk's hierarchy and <i>Iep</i>Σ<sub>1</sub> (Q4323042)
From MaRDI portal
scientific article; zbMATH DE number 722193
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Grzegorcyk's hierarchy and <i>Iep</i>Σ<sub>1</sub> |
scientific article; zbMATH DE number 722193 |
Statements
Grzegorcyk's hierarchy and <i>Iep</i>Σ<sub>1</sub> (English)
0 references
20 July 1995
0 references
Grzegorczyk classes
0 references
provably recursive functions
0 references
primitive recursive functions
0 references
induction nesting
0 references
