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

Podrobná bibliografie
Hlavní autor:	Барендрегт Х. П. Хендрик Питер
Jazyk:	ruština
Vydáno:	Москва, Мир, 1985
Témata:	Математическая логика ламбда-исчисления упражнения конверсия теории редукция модели деревья Бёма теоремы Аносова стратегии построение структура
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=285558

Popis
Fyzický popis:	606 с. ил.

Podobné jednotky