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 MATAMATHEMATICS.:
Seller: SUBUN-SO BOOK STORE, ABAJ-ILAB, Tokyo, Japan
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. xiv,163pp. lar.8vo. black cloth. bottom edge sl.spotted. ex-library sticker on end paper. Seller Inventory # 5930001339
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 book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 9812425-20
Stock Image
Recursion Theory for Metamathematics (Oxford Logic Guides, 22)
Published by
Oxford University Press, 1993
ISBN 10: 019508232X
ISBN 13: 9780195082326
Used
Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_440968839
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 4 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
Seller Image
Recursion Theory for Metamathematics (Oxford Logic Guides)
Published by
Oxford University Press, 1993
ISBN 10: 019508232X
ISBN 13: 9780195082326
Used
Hardcover
First Edition
Seller: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good+. First Edition. 1st printing with full number line (first edition). xiv, [1], 163pp. Oxford University Press, 1993. From a private collection. Interior appears free of markings. Binding is tight, sturdy, and square. Exterior looks great. No dust jacket issued. An excellent copy, almost near fine. Ships same or next business day from Dinkytown in Minneapolis, Minnesota. Seller Inventory # 325816
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, San Diego, NV, 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
Stock Image
Recursion Theory for Metamathematics
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780195082326
Buy New
£ 156.50
Shipping:
£ 5.02
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Recursion Theory for Metamathematics (Oxford Logic Guides)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780195082326_new
Buy New
£ 150.56
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available