Барендрегт, Хендрик Питер Ламбада-исчисление : Его синтаксис и семантика / Хендрик Барендрегт ; Пер. с англ. Г. Е. Минца ; Под ред. А. С. Кузичева. - Москва : Мир, 1985. - 606 с. Библиогр. : с. 574-586. Subjects--Index Terms: მათემატიკური ლიგიკა ლამბდა Calculus Universal Decimal Class. No.: 510.6