The foundations of mathematics / Ian Stewart and David Tall.

Saved in:
Bibliographic Details
Main Authors: Stewart, Ian, 1945- (Author), Tall, David Orme (Author)
Language:English
Published: Oxford : Oxford University Press, 2015.
Edition:Second edition.
Subjects:
Physical Description:xvi, 391 pages : illustrations ; 22 cm
Format: Book

MARC

LEADER 00000cam a2200000Ii 4500
001 in00005524770
003 OCoLC
005 20220616134434.0
008 150325t20152015enka b 001 0 eng d
010 |a  2014946122 
020 |a 9780198706441  |q hardback 
020 |a 0198706448 
020 |a 9780198706434  |q paperback 
020 |a 019870643X 
035 |a (OCoLC)908132554 
040 |a StDuBDS  |b eng  |e rda  |c CUD  |d YDXCP  |d LTSCA  |d OCLCF  |d MNY  |d UtOrBLW 
049 |a EEMO 
050 0 4 |a QA9  |b .S84 2015 
082 0 4 |a 511.3  |2 23 
100 1 |a Stewart, Ian,  |d 1945-  |e author.  |0 http://id.loc.gov/authorities/names/n50023086 
245 1 4 |a The foundations of mathematics /  |c Ian Stewart and David Tall. 
250 |a Second edition. 
264 1 |a Oxford :  |b Oxford University Press,  |c 2015. 
264 4 |c ©2015 
300 |a xvi, 391 pages :  |b illustrations ;  |c 22 cm 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
500 |a Revision of: The foundations of mathematics / Ian Stewart and David Tall. -- Oxford : Oxford University Press, 1977. 
504 |a Includes bibliographical references (pages 383-385) and index. 
505 0 |a Part I. The intuitive background -- 1. Mathematical thinking -- 2. Number systems -- Part II. The beginnings of formalisation -- 3. Sets -- 4. Relations -- 5. Functions -- 6. Mathematical logic -- 7. Mathematical proof -- Part III. The development of axiomatic systems -- 8. Natural numbers and proof by induction -- 9. Real numbers -- 10. Real numbers as a complete ordered field -- 11. Complex numbers and beyond -- Part IV. Using axiomatic systems -- 12. Axiomatic systems, structure theorems, and flexible thinking -- 13. Permutations and groups -- 14. Cardinal numbers -- 15. Infinitesimals -- Part V. Strengthening the foundations -- 16. Axioms for set theory. 
650 0 |a Mathematics.  |0 http://id.loc.gov/authorities/subjects/sh85082139 
650 0 |a Logic, Symbolic and mathematical.  |0 http://id.loc.gov/authorities/subjects/sh85078115 
650 7 |a Logic, Symbolic and mathematical.  |2 fast  |0 (OCoLC)fst01002068. 
650 7 |a Mathematics.  |2 fast  |0 (OCoLC)fst01012163. 
700 1 |a Tall, David Orme,  |e author.  |0 http://id.loc.gov/authorities/names/n81042680 
907 |y .b117441648  |b 210211  |c 151030 
998 |a mn  |b 151208  |c m  |d a   |e -  |f eng  |g enk  |h 4  |i 2 
994 |a 92  |b EEM 
999 f f |i 0ee9253f-ebe1-56f0-a91d-704d143e81ac  |s 5fe1c496-8f05-540e-8177-78164a15c66a  |t 0 
952 f f |p Can Circulate  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU Main Library  |d MSU Main Library  |t 0  |e QA9 .S84 2015  |h Library of Congress classification  |i Printed Material  |m 31293007287919  |n 1