Найдены документы по автору

Ламбда-исчисление / Х. Барендрегт

• Интернет стиль
• Карточка

Заглавие : Ламбда-исчисление: Его синтаксис и семантика Тип документа : печатный текст Авторы : Х. Барендрегт Издательство : Мир (М.) Дата публикации : 1985 Страницы : 606 с. Язык : рус.   Индексация : 22.1 Б24

Бронирование Забронировать этот документ Экземпляры Штрих-код Индекс Положение Отдел Статус 0054615001  54615001  8 фил  неопределенный  В наличии

Ламбда-исчисление [печатный текст] : Его синтаксис и семантика / Х. Барендрегт . - М. : Мир, 1985 . - 606 с..   Индексация : 22.1 Б24

Бронирование Забронировать этот документ Экземпляры Штрих-код Индекс Положение Отдел Статус 0054615001  54615001  8 фил  неопределенный  В наличии