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
1955/42/1
Some applications of formalized consistency proofs
Download
PDF
- Some applications of formalized consistency proofs
Article
Original scientific text
Title
Some applications of formalized consistency proofs
Authors
G. Kreisel
1
,
Hao Wang
2
Affiliations
Reading, England
Philadelphia, Pa., USA
Fundamenta Mathematicae
1955/42/1
Citation
Export to PBN
, Opens in new tab
Share
Pages:
101-110
Main language of publication
English
Published
1955
Exact and natural sciences
mathematics
