Recursion Theory for Metamathematics
Oxford: Oxford University Press, 1993. First edition. Hardcover. 8vo. [9], viii-xiv, [2], 1-163, [3] pp. Navy cloth over boards with a gold horizontal rule and lettering in red and gold on the front board, gold lettering within two red rectangles bordered in gilt and publisher's device in gold on the spine, ISBN in gold on the rear board. Volume 22 in the Oxford Logic Guides series. Series editors Dov Gabbay, Angus MacIntyre, Dana Scott, and John Shepherdson. As with most volumes in the series, this book was issued without a dust jacket. Slater 874. An attractive copy of Smullyan's sequel to his book on Godel's incompleteness theorems, focusing on results in recursion theory related to undecidability and incompleteness. Near Fine. Item #00009999
Near Fine with a couple of tiny bumps to the right edge of the front board.
Price: $125.00