Поиск :
Личный кабинет :
Электронный каталог: БАРЕНДРЕГТ, Х.П. - ЛАМБДА-ИСЧИСЛЕНИЕ
БАРЕНДРЕГТ, Х.П. - ЛАМБДА-ИСЧИСЛЕНИЕ
Доступно
1 из 1
1 из 1
Книга
Автор: БАРЕНДРЕГТ, Х.П.
ЛАМБДА-ИСЧИСЛЕНИЕ : ЕГО СИНТАКСИС И СЕМАНТИКА : ПЕР. С АНГЛ. Г. Е. МИНЦА
Издательство: Мир, 1985 г.
ISBN отсутствует
Автор: БАРЕНДРЕГТ, Х.П.
ЛАМБДА-ИСЧИСЛЕНИЕ : ЕГО СИНТАКСИС И СЕМАНТИКА : ПЕР. С АНГЛ. Г. Е. МИНЦА
Издательство: Мир, 1985 г.
ISBN отсутствует
Заказать 
На полку
Книга
22.12 Б24
1585367 ОСН
БАРЕНДРЕГТ, Х.П.
ЛАМБДА-ИСЧИСЛЕНИЕ : ЕГО СИНТАКСИС И СЕМАНТИКА : ПЕР. С АНГЛ. Г. Е. МИНЦА / Х.П. БАРЕНДРЕГТ. – Москва : Мир, 1985. – 606 С.
ISBN 5-1585367 : 0.00.
ББК 22.122
-- 1. 1.МАТЕМАТИЧЕСКАЯ ЛОГИКА..
22.12 Б24
1585367 ОСН
БАРЕНДРЕГТ, Х.П.
ЛАМБДА-ИСЧИСЛЕНИЕ : ЕГО СИНТАКСИС И СЕМАНТИКА : ПЕР. С АНГЛ. Г. Е. МИНЦА / Х.П. БАРЕНДРЕГТ. – Москва : Мир, 1985. – 606 С.
ISBN 5-1585367 : 0.00.
ББК 22.122
-- 1. 1.МАТЕМАТИЧЕСКАЯ ЛОГИКА..