Kleene, Stephen Cole Mathematical logic / by Stephen Cole Kleene - New York : John wiley, 1967. - 398p. : Subjects--Topical Terms: Mathematical logic