Ламбда-исчисление

Его синтаксис и семантика

Хендрик П. Берендрегт

Цб/510.6/Б 38

Издателство

Мир

Местоиздаване

Москва

Година на издаване

1985

Страници

606 с.

Класификационен индекс

УДК	Значение
510.6	Математическа логика

Ключови думи

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

Системен №

12178

Допълнителна сигнатура

Б 38

Инвентаризация

Статус	Брой
Централна библиотека - хранилище (Цб)	1

Берендрегт, Х. Ламбда-исчисление, Мир, 1985, 606 с..

Берендрегт, Х. . Ламбда-исчисление. Москва: Мир, 1985, 606 с..

Берендрегт, Х. (1985) Ламбда-исчисление, Москва: Мир, 606 с.

Берендрегт, Х. (1985). Ламбда-исчисление. Его синтаксис и семантика. Москва: Мир, 606 с..