"Явный базис для допустимых правил вывода логики Гёделя - Леба GL" - читать интересную книгу автора (Федоришин Б.Р.)