Вид документа : Однотомное издание Шифр издания : 22.12/Б24 Автор(ы) : Барендрегт Х.П. Заглавие : Ламбда- исчисление. Его синтаксис и семантика Выходные данные : М.: Мир, 1985 Колич.характеристики :606с. Цена : 50.00, 50.00, р. ББК : 22.12 Предметные рубрики: Математика-- высшая Ключевые слова (''Своб.индексиров.''): голландия--исчисление--конверсия--редукция--теория--алгебра--модель--дерево--синтаксис--семантика--программирование Экземпляры :чзт(1) Свободны : чзт(1) |