Matematičeskaja logika - Kleene, Stephen Cole, 1909-1994 (Mir, 1973)