Godel's proof
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Undetermined English |
| Published: |
New York University Press
2001
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1830920058015055872 |
|---|---|
| author | Nagel, Ernest |
| author2 | Hofstadter, Douglas R.;Nagel, Ernest;Newman, James Roy |
| author2_role | |
| author2_variant | d r e j r h drejr drejrh |
| author_facet | Nagel, Ernest Hofstadter, Douglas R.;Nagel, Ernest;Newman, James Roy |
| author_role | |
| author_sort | Nagel, Ernest |
| author_variant | e n en |
| building | CSSSC Library |
| contents | Foreword -- Acknowledgments -- Introduction -- The Problem of Consistency -- Absolute Proofs of Consistency -- The Systematic Codification of Formal Logic -- An Example of a Successful Absolute Proof of -- Consistency -- The Idea of Mapping and Its Use in |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00945nam a2200241Ia 4500</leader><controlfield tag="001">9594</controlfield><controlfield tag="003">OSt</controlfield><controlfield tag="005">20191017090454.0</controlfield><controlfield tag="008">160726s9999 xx 000 0 und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9.7808147584e+012</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">CSSSC</subfield><subfield code="c">CSSSC</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">51.01NAG</subfield></datafield><datafield tag="100" ind1=" " ind2=" "><subfield code="a">Nagel, Ernest,</subfield></datafield><datafield tag="245" ind1=" " ind2=" "><subfield code="a">Godel's proof</subfield><subfield code="c">Ernest Nagel and James R. Newman; edited and with a new foreword by Douglas R. Hofstadter</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">New York</subfield><subfield code="b">New York University Press</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">129 p</subfield><subfield code="c">20.00 cm</subfield></datafield><datafield tag="365" ind1=" " ind2=" "><subfield code="b">US$ 12.95</subfield></datafield><datafield tag="505" ind1=" " ind2=" "><subfield code="a">Foreword -- Acknowledgments -- Introduction -- The Problem of Consistency -- Absolute Proofs of Consistency -- The Systematic Codification of Formal Logic -- An Example of a Successful Absolute Proof of -- Consistency -- The Idea of Mapping and Its Use in</subfield></datafield><datafield tag="650" ind1=" " ind2=" "><subfield code="a">Godel's theorem</subfield></datafield><datafield tag="700" ind1=" " ind2=" "><subfield code="a">Hofstadter, Douglas R.;Nagel, Ernest;Newman, James Roy</subfield></datafield><datafield tag="942" ind1=" " ind2=" "><subfield code="2">udc</subfield><subfield code="c">BK</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="0">0</subfield><subfield code="1">0</subfield><subfield code="2">udc</subfield><subfield code="4">0</subfield><subfield code="6">5101NAG</subfield><subfield code="7">0</subfield><subfield code="9">18368</subfield><subfield code="a">CSSSC</subfield><subfield code="b">CSSSC</subfield><subfield code="d">2016-07-27</subfield><subfield code="l">0</subfield><subfield code="o">51.01NAG</subfield><subfield code="p">22952</subfield><subfield code="r">2016-07-27 00:00:00</subfield><subfield code="t">1</subfield><subfield code="w">2016-07-27</subfield><subfield code="y">BK</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="c">18228</subfield><subfield code="d">18228</subfield></datafield></record></collection> |
| id | csssc.18228 |
| illustrated | Not Illustrated |
| institution | Centre for Studies in Social Sciences, Calcutta |
| isbn | 9.7808147584e+012 |
| language | Undetermined English |
| marc_error | [first_indexed]Unable to connect to VuFind database; Communications link failure
The last packet sent successfully to the server was 0 milliseconds ago. The driver has not received any packets from the server. [last_indexed]Unable to connect to VuFind database; Communications link failure The last packet sent successfully to the server was 0 milliseconds ago. The driver has not received any packets from the server. |
| physical | 129 p 20.00 cm |
| publishDate | 2001 |
| publisher | New York University Press |
| record_format | XML |
| spelling | Nagel, Ernest, Godel's proof Ernest Nagel and James R. Newman; edited and with a new foreword by Douglas R. Hofstadter New York New York University Press 2001 129 p 20.00 cm US$ 12.95 Foreword -- Acknowledgments -- Introduction -- The Problem of Consistency -- Absolute Proofs of Consistency -- The Systematic Codification of Formal Logic -- An Example of a Successful Absolute Proof of -- Consistency -- The Idea of Mapping and Its Use in Godel's theorem Hofstadter, Douglas R.;Nagel, Ernest;Newman, James Roy |
| spellingShingle | Nagel, Ernest Godel's proof Foreword -- Acknowledgments -- Introduction -- The Problem of Consistency -- Absolute Proofs of Consistency -- The Systematic Codification of Formal Logic -- An Example of a Successful Absolute Proof of -- Consistency -- The Idea of Mapping and Its Use in Godel's theorem |
| title | Godel's proof |
| title_auth | Godel's proof |
| title_full | Godel's proof Ernest Nagel and James R. Newman; edited and with a new foreword by Douglas R. Hofstadter |
| title_fullStr | Godel's proof Ernest Nagel and James R. Newman; edited and with a new foreword by Douglas R. Hofstadter |
| title_full_unstemmed | Godel's proof Ernest Nagel and James R. Newman; edited and with a new foreword by Douglas R. Hofstadter |
| title_short | Godel's proof |
| title_sort | godel s proof |
| topic | Godel's theorem |
| topic_facet | Godel's theorem |
| work_keys_str_mv | AT nagelernest godelsproof AT hofstadterdouglasrnagelernestnewmanjamesroy godelsproof |