Matematičeskaja logika - Jeršov, Jurij Leonidovič, 1940- (Nauka, 1987)