You need to enable JavaScript to run this app.
Skip to content
Go to Sitemap
Library of Science
Resources
About
, Opens in new tab
Help
, Opens in new tab
Contact
, Opens in new tab
For publishers
Change website language
, Currently English -
EN
Polska Akademia Nauk. Instytut Matematyc...
Fundamenta Mathematicae
1980/106/1
Provability in arithmetic and a schema of Grzegorczyk
Download
PDF
- Provability in arithmetic and a schema of Grzegorczyk
Article
Original scientific text
Title
Provability in arithmetic and a schema of Grzegorczyk
Authors
George Boolos
1
Affiliations
Cambridge, Mass., U.S.A.
Fundamenta Mathematicae
1980/106/1
Citation
Export to PBN
, Opens in new tab
Share
Pages:
41-45
Main language of publication
English
Published
1980
Exact and natural sciences
mathematics