RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1962
, том 147,
номер 5,
страницы
1029–1031
(Mi dan27334)
МАТЕМАТИКА
Два варианта классического исчисления предикатов без структурных правил вывода
В. А. Матулис
Ленинградское отделение Математического института им. В. А. Стеклова АН СССР
Статья представлена к публикации:
П. С. Новиков
Поступило: 12.06.1962
Полный текст:
PDF файл (446 kB)
Реферативные базы данных:
©
МИАН
, 2024