Smullyan Raymond M Recursion theory for metamathematics. - Oxford Oxford University Press 1993 - xiv,163p. cm. - Oxford logic guides. . Standard No.: 44780 Source: Textual Dewey Class. No.: R14, N3