Mathematical logic - Eršov, Jurij Leonidovič 1940-; Paljutin, E. A. (MIR, 1984)
Aus d. Russ. übers. - EST: Matematičeskaja logika (engl.)