О непротиворечивости некоторых исчислений комбинаторной логикидипломная работа (Специалист)