Նորմալ դիտում MARC դիտում ISBD Դիտում

Барендрегт, Хендрик Питер

Ламбда-исчисление : Его синтаксис и семантика / Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева. - Москва : Мир , 1985. - 608 с.



Subjects--Topical Terms:
Математическая логика