Ламбда-исчисление. Его синтаксис и семантика Пер. с англ
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | Undetermined |
| Опубликовано: |
M
Мир
1985
|
МУҮНомын сан салбар: UB0100000117
| Шифр: |
43391 |
|---|---|
| Копировать Unknown | Доступно Поместить задолженность |