Поиск :
Личный кабинет :
Электронный каталог: Кашапова, Ф. Р. - Выделение классов конструктивно выводимых теорем в многосортной итуиционистской теории множеств, ...
Кашапова, Ф. Р. - Выделение классов конструктивно выводимых теорем в многосортной итуиционистской теории множеств, ...
Статья
Автор: Кашапова, Ф. Р.
Доклады Академии наук СССР: Выделение классов конструктивно выводимых теорем в многосортной итуиционистской теории множеств, ...
б.г.
ISBN отсутствует
Автор: Кашапова, Ф. Р.
Доклады Академии наук СССР: Выделение классов конструктивно выводимых теорем в многосортной итуиционистской теории множеств, ...
б.г.
ISBN отсутствует
На полку
Статья
Кашапова, Ф. Р.
Выделение классов конструктивно выводимых теорем в многосортной итуиционистской теории множеств, эквивалентной арифметике второго порядка / Ф. Р. Кашапова // Доклады Академии наук СССР. – 1984. – Т. 276, № 4. – С. 782-785.
-- 1. Математика.
Кашапова, Ф. Р.
Выделение классов конструктивно выводимых теорем в многосортной итуиционистской теории множеств, эквивалентной арифметике второго порядка / Ф. Р. Кашапова // Доклады Академии наук СССР. – 1984. – Т. 276, № 4. – С. 782-785.
-- 1. Математика.
Привязано к:
Доступно
1 из 1
Выпуск
Доклады Академии наук СССР Т. 276, № 4
1984 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доклады Академии наук СССР Т. 276, № 4
1984 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН