Ламбда-Исчисление : его синтаксис и семантика Х. Барендрегт (книга)

Подробная информация о книге «Ламбда-Исчисление : его синтаксис и семантика Х. Барендрегт». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Ламбда-Исчисление : его синтаксис и семантика Х. Барендрегт»

Х. Барендрегт - «Ламбда-Исчисление : его синтаксис и семантика»

Поделиться

Рейтинг книги izbe.ru: 0,0

О книге

Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство "Мир Публишерс").

Полное название книги Х. Барендрегт Ламбда-Исчисление : его синтаксис и семантика
Тип Книга
Автор Х. Барендрегт
Ключевые слова математика, общие вопросы математики
Категории Образование и наука, Математика
ISBN 9785458281706
Возрастное ограничение 18
Издательство
Год 2012
Название транслитом lambda-ischislenie-ego-sintaksis-i-semantika-h-barendregt
Просмотров 1
Рейтинг izbe.ru 0,0

Напишите вашу рецензию на книгу:
Х. Барендрегт «Ламбда-Исчисление : его синтаксис и семантика»

Рецензии пользователей

Пока еще никто не написал рецензию на эту книгу.

ТОП-15 книг