Boolos, George. "Provability in arithmetic and a schema of Grzegorczyk." Fundamenta Mathematicae 106.1 (1980): 41-45. <http://eudml.org/doc/211104>.
@article{Boolos1980, author = {Boolos, George}, journal = {Fundamenta Mathematicae}, keywords = {interpretation of modal operators; predicates definable in Peano Arithmetic; provability predicate}, language = {eng}, number = {1}, pages = {41-45}, title = {Provability in arithmetic and a schema of Grzegorczyk}, url = {http://eudml.org/doc/211104}, volume = {106}, year = {1980}, }
TY - JOUR AU - Boolos, George TI - Provability in arithmetic and a schema of Grzegorczyk JO - Fundamenta Mathematicae PY - 1980 VL - 106 IS - 1 SP - 41 EP - 45 LA - eng KW - interpretation of modal operators; predicates definable in Peano Arithmetic; provability predicate UR - http://eudml.org/doc/211104 ER -