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

• Нові надходження
• Простий пошук
• Розширений пошук
• Допомога
• Автори
• Видавництва
• Серії
• Тезаурус (Рубрики)
• Публічні полиці

Штрих-код
Пароль

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

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

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

Заказать

На полку