Kleene, Stephen Cole, 1909- Mathematical logic / Stephen Cole Kleene. - New York John Wiley & Sons 1967. - xiii, 398 p. : ill. ; 24 cm. Bibliography : p. 371-386. Subjects--Topical Terms: Mathematics--Philosophy.Logic, Symbolic and mathematical.