Поиск :
Личный кабинет :
Электронный каталог: Кузичев, А. С. - Арифметически непротиворечивые λ-теории бестиповой логики
Кузичев, А. С. - Арифметически непротиворечивые λ-теории бестиповой логики
Статья
Автор: Кузичев, А. С.
Доклады Академии наук СССР: Арифметически непротиворечивые λ-теории бестиповой логики
б.г.
ISBN отсутствует
Автор: Кузичев, А. С.
Доклады Академии наук СССР: Арифметически непротиворечивые λ-теории бестиповой логики
б.г.
ISBN отсутствует
На полку
Статья
Кузичев, А. С.
Арифметически непротиворечивые λ-теории бестиповой логики / А. С. Кузичев // Доклады Академии наук СССР.– 1983.– Т. 268, № 2.– С. 288-291.
-- 1. Математика.
Кузичев, А. С.
Арифметически непротиворечивые λ-теории бестиповой логики / А. С. Кузичев // Доклады Академии наук СССР.– 1983.– Т. 268, № 2.– С. 288-291.
-- 1. Математика.
Привязано к:
Выпуск
Доклады Академии наук СССР Т. 268, № 2
1983 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доклады Академии наук СССР Т. 268, № 2
1983 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН