Ламбда-исчисление. Его синтаксис и семантика Пер. с англ

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Барендрегт Х.
Формат: Ном
Хэл сонгох:Undetermined
Хэвлэсэн: M Мир 1985