Kleene, Stephen Cole. Mathematical logic / Stephen Cole Kleene. - New York : Wiley, c1967. - xiii, 398 p. Subjects--Topical Terms: Logic, Symbolic and mathematical.