MATEMATIČESKAJA LOGIKA - Jeršov, Jurij Leonidovič (Nauka, 1987)