Поиск :
Личный кабинет :
Электронный каталог: Кривцов, В. Н. - Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов
Кривцов, В. Н. - Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов
Статья
Автор: Кривцов, В. Н.
Доклады Академии наук СССР: Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов
б.г.
ISBN отсутствует
Автор: Кривцов, В. Н.
Доклады Академии наук СССР: Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов
б.г.
ISBN отсутствует
На полку
Статья
Кривцов, В. Н.
Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов / В. Н. Кривцов // Доклады Академии наук СССР.– 1984.– Т. 277, № 3.– С. 520-533.
-- 1. Математика.
Кривцов, В. Н.
Погружение интуиционистской теории типов в безотрицательную интуиционистскую теорию типов / В. Н. Кривцов // Доклады Академии наук СССР.– 1984.– Т. 277, № 3.– С. 520-533.
-- 1. Математика.
Привязано к:
Выпуск
Доклады Академии наук СССР Т. 277, № 3
1984 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доклады Академии наук СССР Т. 277, № 3
1984 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН