RUS
ENG
Полная версия
ЖУРНАЛЫ
// Доклады Академии наук
// Архив
Докл. АН СССР,
1963
, том 152,
номер 3,
страницы
553–554
(Mi dan28590)
МАТЕМАТИКА
Обобщение теорем В. И. Гливенко и Г. Крейсела на один класс формул исчисления предикатов
Г. Е. Минц
,
В. П. Оревков
Ленинградское отделение Математического института им. В. А. Стеклова АН СССР
Статья представлена к публикации:
П. С. Новиков
Поступило: 01.04.1963
Полный текст:
PDF файл (290 kB)
Реферативные базы данных:
©
МИАН
, 2024