Представлено схему зворотного методу для числення висловлювань, що може працювати з формулами, представленими у вигляді секвенцій загального вигляду, викладено доповнення до конструктивного алгоритму зворотного методу, а також наведено схему механізму іменування для можливості здійснення скороченого виведення.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"