51/Б248    Б 24     Барендрегт, Х. П.     Ламбда-исчисление. Его синтаксис и семантика [Текст] : пер.с англ. / Х.П. Барендрегт. - М. : Мир, 1985. - 606 с. - Библиогр.:с.574-586. - Б. ц. ГРНТИ 27.03.19 УДК 510.6 Рубрики: Математическая логика Экземпляры всего: 2 ХР (2) Свободны: ХР (2)