Characterizing the elementary recursive functions by a fragment of Gödel's T
| Date first appeared online | |
| DOI | 10.1007/s001530050160 |
| Authors | Beckmann A. |
| Journal Name | Archive for Mathematical Logic |
| Volume | 39 |
| Date first appeared online | |
| DOI | 10.1007/s001530050160 |
| Authors | Beckmann A. |
| Journal Name | Archive for Mathematical Logic |
| Volume | 39 |