Теоретико-доказательственные свойства исчисления Ламбека и его фрагментовдипломная работа (Специалист)