Matematičeskaja logika - Jeršov, Jurij Leonidovič; Paľutin, Je.A (Nauka, 1987)