Reverse mathematics : proofs from the inside out /

Bibliographic Details
Main Author: Stillwell, John (Author)
Corporate Author: ProQuest (Firm)
Format: eBook
Language:English
Published: Princeton : Princeton University Press, [2018]
Subjects:
Online Access:Connect to the full text of this electronic book

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a2200000Ii 4500
001 in00003898103
006 m o d
007 cr |||||||||||
008 171124s2018 njua ob 001 0 eng d
005 20221130132421.1
020 |a 1400889030  |q electronic bk. 
020 |a 9781400889037 
020 |z 9780691177175  |q hardcover  |q alk. paper 
020 |z 0691177171  |q hardcover  |q alk. paper 
024 8 |a 99976473128 
035 |a (NhCcYBP)ebc5199840 
035 |a in00003898103 
037 |a 1050470  |b MIL 
040 |a NhCcYBP  |c NhCcYBP  |d UtOrBLW 
050 4 |a QA9.25  |b .S75 2018 
072 7 |a MAT  |x 000000  |2 bisacsh 
082 0 4 |a 511.3  |2 23 
084 |a MAT015000  |a MAT000000  |a MAT018000  |a SCI034000  |2 bisacsh 
100 1 |a Stillwell, John,  |e author.  |0 http://id.loc.gov/authorities/names/n80047987 
245 1 0 |a Reverse mathematics :  |b proofs from the inside out /  |c John Stillwell. 
264 1 |a Princeton :  |b Princeton University Press,  |c [2018] 
264 4 |c ©2018 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
505 0 |a Historical introduction -- Classical arithmetization -- Classical analysis -- Computability -- Arithmetization of computation -- Arithmetical comprehension -- Recursive comprehension -- A bigger picture. 
588 |a Description based on online resource; title from electronic title page (EBSCOHost, viewed March 14, 2018). 
500 |a Electronic resource. 
650 0 |a Reverse mathematics.  |0 http://id.loc.gov/authorities/subjects/sh2005002411 
655 7 |a Electronic books.  |2 local 
710 2 |a ProQuest (Firm)  |0 http://id.loc.gov/authorities/names/n2007068018 
776 1 8 |i Print version:  |a Stillwell, John.  |t Reverse mathematics.  |d Princeton, New Jersey : Princeton University Press, [2018]  |z 9780691177175  |w (DLC) 2017025264 
856 4 0 |u https://ebookcentral.proquest.com/lib/tamucs/detail.action?docID=5199840  |y Connect to the full text of this electronic book  |t 0 
955 |a YBP purchased DDA e-records 
980 |b 31.00  |g 1 
987 |a ybp14643228 
999 f f |s c20dbd45-d3ff-4d0e-aef1-d9b67a5f87fe  |i 8fdab1fc-dbfc-3d48-ab09-e036a9c7ecf5  |t 0 
952 f f |a Texas A&M University  |b College Station  |c Electronic Resources  |d Available Online  |t 0  |e QA9.25 .S75 2018  |h Library of Congress classification 
998 f f |a QA9.25 .S75 2018  |t 0  |l Available Online