О погружении теории типов в некоторую интуиционистскую теориюдипломная работа (Специалист)