Поиск :
Личный кабинет :
Электронный каталог: Артемов, С. Н. - Об эффективных предикатных логиках, доказуемости
Артемов, С. Н. - Об эффективных предикатных логиках, доказуемости
Статья
Автор: Артемов, С. Н.
Доклады Академии наук СССР: Об эффективных предикатных логиках, доказуемости
б.г.
ISBN отсутствует
Автор: Артемов, С. Н.
Доклады Академии наук СССР: Об эффективных предикатных логиках, доказуемости
б.г.
ISBN отсутствует
Статья
Артемов, С. Н.
Об эффективных предикатных логиках, доказуемости / С. Н. Артемов, Г. К. Джапаридзе // Доклады Академии наук СССР.– 1987.– Т. 297, № 3.– С. 521-523.
-- 1. Математика.
Артемов, С. Н.
Об эффективных предикатных логиках, доказуемости / С. Н. Артемов, Г. К. Джапаридзе // Доклады Академии наук СССР.– 1987.– Т. 297, № 3.– С. 521-523.
-- 1. Математика.