О редукции исчислений теории множеств Неймана – Бернайса – Гёделя в синтаксически полные системыдипломная работа (Специалист)