Электронный каталог -Барендрегт, Хендрик Питер - Ламбда-исчисление- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Барендрегт, Хендрик Питер - Ламбда-исчисление

Барендрегт, Хендрик Питер - Ламбда-исчисление

Ламбда-исчисление

Доступно
3 из 3

Книга
Автор: Барендрегт, Хендрик Питер
Ламбда-исчисление : его синтаксис и семантика
Издательство: Мир, 1985 г.
ISBN отсутствует

На полку