Поиск :
Личный кабинет :
Электронный каталог: Артемов, С. Н. - Нерифмичность истинностеных предикатных логик доказуемости
Артемов, С. Н. - Нерифмичность истинностеных предикатных логик доказуемости
Статья
Автор: Артемов, С. Н.
Доклады Академии наук СССР: Нерифмичность истинностеных предикатных логик доказуемости
б.г.
ISBN отсутствует
Автор: Артемов, С. Н.
Доклады Академии наук СССР: Нерифмичность истинностеных предикатных логик доказуемости
б.г.
ISBN отсутствует
Статья
Артемов, С. Н.
Нерифмичность истинностеных предикатных логик доказуемости / С. Н. Артемов // Доклады Академии наук СССР.– 1985.– Т. 284, № 2.– С. 270-271.
-- 1. Математика.
Артемов, С. Н.
Нерифмичность истинностеных предикатных логик доказуемости / С. Н. Артемов // Доклады Академии наук СССР.– 1985.– Т. 284, № 2.– С. 270-271.
-- 1. Математика.