RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1964
, том 158,
номер 3,
страница 502
(Mi dan30160)
Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода” (ДАН, т. 147, № 5, 1962 г.)
В. А. Матулис
Полный текст:
PDF файл (117 kB)
©
МИАН
, 2024