Items related to Recursion Theory for Metamathematics: 22 (Oxford Logic...
Synopsis
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
"synopsis" may belong to another edition of this title.
Review
highly recommended (A.D. Irvine, University of British Columbia, History and Philosophy of Logic, 15 (1994))
thanks to the virtual lack or prerequisites and the detailed, easy-to-follow proofs, Recursion Theory for Metamathematics is highly accessible to beginning logicians ... There is much, both in results and in methods, that will be of interest to a variety of readers. (Leon Harkleroad, Modern Logic, Volume 4, No. 3 (July 1994))
"About this title" may belong to another edition of this title.
Search results for Recursion Theory for Metamathematics: 22 (Oxford Logic...
Stock Image
Recursion Theory for Metamathematics (Oxford Logic Guides)
Published by
Oxford University Press, 1993
ISBN 10: 019508232X
ISBN 13: 9780195082326
Used
Hardcover
Seller: Amazing Books Pittsburgh, Pittsburgh, PA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Clean sturdy and unmarked with mild shelf wear EP. Seller Inventory # Sq43047
Stock Image
Recursion Theory for Metamathematics
Published by
Oxford University Press, Incorporated, 1993
ISBN 10: 019508232X
ISBN 13: 9780195082326
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 9812425-20
Stock Image
Recursion Theory for Metamathematics (Oxford Logic Guides)
Published by
Oxford University Press, USA, 1993
ISBN 10: 019508232X
ISBN 13: 9780195082326
Used
Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Oct 26 (SALE item)* first edition, first printing; 184 pp., Hardcover, previous owner's name to the front free endpaper, else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1353296
Stock Image
Recursion Theory for Metamathematics
Published by
Oxford University Press January 1993, 1993
ISBN 10: 019508232X
ISBN 13: 9780195082326
Used
Hardcover
Seller: Magus Books Seattle, Seattle, WA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: VG. used hardcover copy, lacking a dust jacket (as issued). light shelfwear, corners perhaps slightly bumped. pages and binding are clean, straight, and tight. there are no marks to the text or other serious flaws. Seller Inventory # 1483234
Stock Image
Recursion Theory for Metamathematics.
Published by
Oxford University Press,, NY:, 1993
ISBN 10: 019508232X
ISBN 13: 9780195082326
Used
Hardcover
Seller: Grendel Books, ABAA/ILAB, Springfield, MA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Near Fine. Number 22 in the Oxford Logic Guides series. Third printing. About fine in dark blue cloth with gilt and red lettering. No dust jacket, as issued. ; 163 pages. Seller Inventory # 17019
Stock Image
Recursion Theory for Metamathematics (Oxford Logic Guides, 22)
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-019508232X
Stock Image
Recursion Theory for Metamathematics (Hardcover)
Published by
Oxford University Press Inc, New York, 1993
ISBN 10: 019508232X
ISBN 13: 9780195082326
New
Hardcover
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This work is a sequel to the author's Goedel's Incompleteness Theorems, though it can be read independently by anyone familiar with Goedel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field. This volume of the Oxford Logic Guides is a sequel to Smullyan's Godel's Incompleteness Theorems (Oxford Logic Guides No. 19, 1992). This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9780195082326
Buy New
£ 122.34
£ 27.66 shipping
Ships from Australia to U.S.A.
Ships from Australia to U.S.A.
Quantity: 1 available
Stock Image
Recursion Theory for Metamathematics (Oxford Logic Guides)
Seller: DeckleEdge LLC, Albuquerque, NM, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: new. Seller Inventory # Shelfdream019508232X
Stock Image
Recursion Theory for Metamathematics (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 13294c62efa86ebe931c47a430d01957
Buy New
£ 191.51
£ 4.61 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Recursion Theory for Metamathematics
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 180. Seller Inventory # 26469382