Recursion Theory for Metamathematics
Oxford University Press, 1993. 2nd. 8Vo Hardcover. 163pp. Text is unmarked on white pages. Bound in midnight blue cloth with crisply pointed corners and gold gilt lettering. Binding is tight and square, hinges are secure.