Foundations of mathematics in the theory of sets, Vol. 82 (Record no. 52767)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01112 a2200205 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 200320b ||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780521172714 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 |
Item number | MAY |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Mayberry, John P. |
245 ## - TITLE STATEMENT | |
Title | Foundations of mathematics in the theory of sets, Vol. 82 |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Name of publisher, distributor, etc | Cambridge University Press, |
Date of publication, distribution, etc | 2000. |
Place of publication, distribution, etc | Cambridge: |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xx, 424 p.; |
Other physical details | pb; |
Dimensions | 24 cm. |
365 ## - TRADE PRICE | |
Price type code | GBP |
Price amount | 59.99 |
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
Title | Encyclopedia of mathematics and its applications |
520 ## - SUMMARY, ETC. | |
Summary, etc | This 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of 'natural number' and 'set'. This leads to an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, as well as in the analysis of proof by induction and definition by recursion. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Set theory |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Arithmetic |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Axioms |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Item type | Books |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Cost, replacement price | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | General | IIT Gandhinagar | IIT Gandhinagar | 18/03/2020 | Books India | 5682.85 | 511.3 MAY | 028970 | 18/03/2020 | 1 | 5682.85 | Books |