Четвериков, Г.Г.; Вечирская, И.Д.
(2008)
Развита теория логического поля, логического векторного пространства, что позволяет определить
класс задач, решаемых с помощью линейных логических преобразований. Приведена предикатная
интерпретация логического пространства, ...