Фрагменты интуиционистской модальной логики предикатов со слабой импликациейдипломная работа (Специалист)