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