Mathematical logic - Eršov, Jurij Leonidovič 1940-; Paljutin, Evgenij A. (Mir, 1984)