An Introduction to Gödel's Theorems / (Record no. 37432)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02236nam a22003617a 4500 |
| 001 - CONTROL NUMBER | |
| control field | sulb-eb0015588 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | BD-SySUS |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20160405134438.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110818s2013||||enk o ||1 0|eng|d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781139149105 (ebook) |
| Canceled/invalid ISBN | 9781107022843 (hardback) |
| Canceled/invalid ISBN | 9781107606753 (paperback) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | UkCbUP |
| Language of cataloging | eng |
| Description conventions | rda |
| Transcribing agency | UkCbUP |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA9.65 |
| Item number | .S65 2013 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Smith, Peter, |
| Relator term | author. |
| 245 13 - TITLE STATEMENT | |
| Title | An Introduction to Gödel's Theorems / |
| Statement of responsibility, etc. | Peter Smith. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cambridge : |
| Name of producer, publisher, distributor, manufacturer | Cambridge University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (406 pages) : |
| Other physical details | digital, PDF file(s). |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 490 0# - SERIES STATEMENT | |
| Series statement | Cambridge Introductions to Philosophy |
| 500 ## - GENERAL NOTE | |
| General note | Title from publisher's bibliographic system (viewed on 04 Apr 2016). |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book - extensively rewritten for its second edition - will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Gödel, Kurt |
| Topical term or geographic name as entry element | Logic, Symbolic and mathematical |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| International Standard Book Number | 9781107022843 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Cambridge Introductions to Philosophy. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://dx.doi.org/10.1017/CBO9781139149105">http://dx.doi.org/10.1017/CBO9781139149105</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | |
| Koha item type | |
No items available.