Model theory and the philosophy of mathematical practice : (Record no. 65726)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01343nam a22001697a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 200612b2018 ||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781107189218 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.34 BAL-J |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Baldwin, John T. |
245 ## - TITLE STATEMENT | |
Title | Model theory and the philosophy of mathematical practice : |
Remainder of title | formalization without foundationalism / |
Statement of responsibility, etc. | John T. Baldwin |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | United Kingdom |
Name of publisher, distributor, etc. | Cambridge University Press |
Date of publication, distribution, etc. | 2018 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 352 p. |
365 ## - TRADE PRICE | |
Price type code | GBP |
Price amount | 90.00. |
500 ## - GENERAL NOTE | |
General note | Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Model theory |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Logic, Symbolic and mathematical |
952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
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 | Cost, normal purchase price | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | 510 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | General Stack (For lending) | 12/06/2020 | 90.00 | 511.34 BAL-J | 41353 | 13/07/2024 | 12/06/2020 | Books |