Опис документа:
| |
Шифр: |
51 |
Авт. знак: |
Баре |
Автор: | Барендрегт Х.П. |
Назва: | Ламбда-исчисление. Его синтаксис и семантика |
Відповідальність: |
Х.П. Барендрегт ; пер. с англ. Г.Е. Минца ; под ред. А.С. Кузичева |
Видавництво: | Мир |
Місто: | Москва |
Рік: | 1985 |
Сторінок: | 606 с. |
ББК: |
В12 |
Тип документу: |
Книга |
Документ знаходиться у фонді МЕХАНІКО-МАТЕМАТИЧНОГО факультету за адресою: проспект акад. Глушкова 4е, другий поверх, кім. 24,25. |
|
|
Пошук: заповніть хоча б одне з полів
|
|