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
1958/45/1
Applications of formalized consistency proofs II
Download
PDF
- Applications of formalized consistency proofs II
Article
Original scientific text
Title
Applications of formalized consistency proofs II
Authors
G. Kreisel
1
,
Hao Wang
2
Affiliations
Reading, England
Oxford, UK
Fundamenta Mathematicae
1958/45/1
Citation
Export to PBN
, Opens in new tab
Share
Pages:
334-335
Main language of publication
English
Published
1958
Exact and natural sciences
mathematics
