Барендретт, Х. <br/><br/>
Ламбда-исчисление.Его синтаксис и семантика. 
под. ред. А.С.Кузичева. пер.английского. 
 - Москва  Мир.  1985 
 - 606 стр. 22см. 
<br/><br/><b>საგნობრივი რუბრიკები: </b><br/>Ламбда-исчисление.Его синтаксис и семантика. 
<br/><br/><b>UDC: </b>510.6