TY - BOOK AU - Барендрегт, Хендрик Питер AU - Минц, Г. Е. AU - Кузичев, А. С. TI - Ламбада-исчисление: Его синтаксис и семантика PY - 1985/// CY - Москва PB - Мир KW - მათემატიკური ლიგიკა KW - ლამბდა Calculus N1 - Библиогр. : с. 574-586 ER -