Matematičeskaja logika - Jeršov, Jurij Leonidovič; Paljutin, Jevgenij Andrejevič (Nauka, 1987)