Matematičeskaja logika - Kleene, Stephen Cole (Mir - Moskva, 1973)
Prijevod djela: MATHEMATICAL LOGIC