Метод инвариантных преобразований и логический вывод

Построено логическое исчисление, ориентированное на машинную реализацию. Приводится сравнение этого исчисления с системами натурального вывода, а именно, приводятся конструкции исчисления, соответствующие правилам натурального вывода. Библ. 7 назв.