Batumi Shota Rustaveli State University : ბათუმის შოთა რუსთაველის სახელმწიფო უნივერსიტეტის ბიბლიოთეკა

თქვენი კალათა ცარიელია.

 

ბათუმის შოთა რუსთაველის სახელმწიფო უნივერსიტეტის ბიბლიოთეკა

Барендретт, Х.

Ламбда-исчисление.Его синтаксис и семантика. под. ред. А.С.Кузичева. пер.английского. - Москва Мир. 1985 - 606 стр. 22см.

საგნობრივი რუბრიკები:
Ламбда-исчисление.Его синтаксис и семантика.

UDC: 510.6