Elementy matematičeskoj logiki i teorii množestv - Vol‘vačev, Rajmond Trofimovič (Universitetskoje, 1986)