Fundamental Scientific Library of NAS RA

Ламбда-исчисление : Его синтаксис и семантика /

Барендрегт, Хендрик Питер

Ламбда-исчисление : Его синтаксис и семантика / Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева. - Москва : Мир, 1985. - 608 с.

Библиогр.: с. 574-586




Математическая логика


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License