Matematičeskaja logika - Kleene, Stephen Cole (rz1, 1973)