Matematičeskaja logika - Edel'man, Samson L'vovič (Vysšaja škola, 1975)