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..... More