Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://lib.mexmat.ru/showsubject/90862. Показаны документы 1 - 1 из 1.
1. Барендрегт Х. - Ламбда-исчисление. Его синтаксис и семантика :: Электронная
Электронная библиотека Попечительского совета . ... Барендрегт Х. - Ламбда-исчисление. Его синтаксис и семантика . ... Название: Ламбда-исчисление. ... Автор: Барендрегт Х. Аннотация: . Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/8840 -- 103.0 Кб -- 10.04.2016
Похожие документы
Похожие документы