Elementy matematičeskoj logiki i teorii množestv - Voľvačev, Rajmond Trofimovič (Izd. Universitskoje, 1986)