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

Сохранить в:
Библиографические подробности
Автор: Барендрегт Х. П.
Тип документа: Книга
Язык:Russian
English
Год издания: Москва Мир 1985
Ключевые слова: