Ламбда-Исчисление. его синтаксис и семантика

Name: Ламбда-Исчисление. его синтаксис и семантика
Availability: InStock
Author: Х. Барендрегт
ISBN: 978-5-458-28170-6

бумажная книга

Проверить наличие на складах

Технические характеристики

Издательство:

ISBN:

978-5-458-28170-6

Аннотация

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

Разделы каталога