Provability in arithmetic and a schema of Grzegorczyk

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

George Boolos Fundamenta Mathematicae 106 (1980), 41-45 DOI: 10.4064/fm-106-1-41-45