Provability in arithmetic and a schema of Grzegorczyk

Volume 106 / 1980

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

Authors

  • George Boolos

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image