База данных переводных книг

Не является библиотекой. Полнотекстовый доступ к изданиям не предоставляется.

Барендрегт, Х. П. Ламбда-исчисление. Его синтаксис и семантика. Пер. с англ. Г.Е. Минца; под ред. А.С. Кузичева. – М.: Мир, 1985. – 606 с. Barendregt H. P. The lambda calculus: Its syntax and semantics. Amsterdam: North-Holland Publ. Co., 1981. 621 p. (Studies in Logic and the Foundations of Mathematics. Vol. 103). (Russ. ed.: Barendregt, H. P. Lambda-ischislenie. Ego sintaksis i semantika. Moscow: Mir Publ., 1985. 606 p.).
Авторы: Барендрегт, Х. П. / Barendregt H. P.
Год издания: 1985
Место издания: М.
Перевод с англ.