Барендрегт, Хендрик Питер <br/><br/>
Ламбда-исчисление :  Его синтаксис и семантика / 
Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева. 
 - Москва :  Мир,  1985. 
 - 608 с. 
<br/><br/>Библиогр.: с. 574-586 
<br/><br/>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика