Mathematical logic / by S.C. Kleene. - Kleene, S. C. (Wiley, 1967)