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...
Colloquium Mathematicum
1973/28/2
Gödel's diagonalization technique and related properties of theories
Download
PDF
- Gödel's diagonalization technique and related properties of theories
Article
Original scientific text
Title
Gödel's diagonalization technique and related properties of theories
Authors
A. Macintyre
1
,
H. Simmons
1
Affiliations
Aberdeen
Colloquium Mathematicum
1973/28/2
Citation
Export to PBN
, Opens in new tab
Share
Pages:
165-180
Main language of publication
German
Published
1973
Exact and natural sciences
mathematics