Барендрегт Х. (1985). Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ. Мир.
Чикаго маягийн жагсаалтБарендрегт Х. Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ. M: Мир, 1985.
MLA ишлэлБарендрегт Х. Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ. Мир, 1985.
Warning: These citations may not always be 100% accurate.