Reverse Mathematics: (Record no. 2595)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01467nam a22001697a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250625095709.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250625b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780691196411 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Item number | STI |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | John Stillwell |
| 245 ## - TITLE STATEMENT | |
| Title | Reverse Mathematics: |
| Remainder of title | Proofs from the Inside Out |
| Statement of responsibility, etc. | John Stillwell |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Princeton |
| Date of publication, distribution, etc. | 2018 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Page number | 182 |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | 1 Historical Introduction<br/>2 Classical Arithmetization<br/>3 Classical Analysis<br/>4 Computability<br/>5 Arithmetization of Computation<br/>6 Arithmetical Comprehension<br/>7 Recursive Comprehension<br/>8 A Bigger Picture |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. Reverse mathematics began as a technical field of mathematical logic, but its main ideas have precedents in the ancient field of geometry and the early twentieth-century field of set theory. This book offers a historical and representative view, emphasizing basic analysis and giving a novel approach to logic. It concludes that mathematics is an arena where theorems cannot always be proved outright, but in which all of their logical equivalents can be found. This creates the possibility of reverse mathematics, where one seeks equivalents that are suitable as axioms. By using a minimum of mathematical logic in a well-motivated way, the book will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Currency | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Non-fiction | IIITDM Kurnool | IIITDM Kurnool | SCIENCES | 25.06.2025 | Technical Bureau India | 20.00 | TB419 DT 19/5/2025 | 511.3 STI | 0007540 | 25.06.2025 | 20.00 | 25.06.2025 | USD | Books | |||||
| Dewey Decimal Classification | Non-fiction | IIITDM Kurnool | IIITDM Kurnool | SCIENCES | 25.06.2025 | Technical Bureau India | 20.00 | TB419 DT 19/5/2025 | 511.3 STI | 0007541 | 25.06.2025 | 20.00 | 25.06.2025 | USD | Books |