Kleene Stephen Cole Introduction to Metamathematics / by Stephen Cole Kleene - Amsterdam North Holland Publishing 1967 - 550p. Dewey Class. No.: 519 / KLE/I