Книга
104 3956

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

ББК В123

Предметні рубрики = Іменні фонди : іменний фонд Уйомова
Дисциплины = Природничі науки : Базовый : Математична логіка та теорія множин
Дарители = Уйомов, А. І., проф.
Предметні рубрики = Математика : основания математики, математическая логика : логические исчисления, исчисления высказываний, исчисление предикатов

1148002 ОФ
1143971 ОФ
1648382 ОФ