Matematičeskaja logika - Edeľman, Samson Ľvovič (Vysšaja škola, 1975)