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