Matematičeskaja logika i teorija algoritmov - Gončarov, S. S. (Nauka, 1982)