В. А. Матулис, “Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода” (ДАН, т. 147, № 5, 1962 г.)”, Докл. АН СССР, 1964, том 158, номер 3,страница 502

ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1964, том 158, номер 3, страница 502 (Mi dan30160)

Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода” (ДАН, т. 147, № 5, 1962 г.)

В. А. Матулис