Provability in arithmetic and a schema of Grzegorczyk
Tom 106 / 1980
Fundamenta Mathematicae 106 (1980), 41-45
DOI: 10.4064/fm-106-1-41-45
