Матулис В.А.  Два варианта классического исчисления предикатов без структурных правил вывода.  О вариантах классического исчиления предикатов с единственным деревом вывода