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

Bibliografske podrobnosti
Glavni avtor:	Барендрегт Х. П. Хендрик Питер
Jezik:	ruščina
Izdano:	Москва, Мир, 1985
Teme:	Математическая логика ламбда-исчисления упражнения конверсия теории редукция модели деревья Бёма теоремы Аносова стратегии построение структура
Format:	xMaterials Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=285558

MARC


LEADER	00000nam0a2200000 4500
001	285558
005	20231101235815.0
020			\|a RU \|b 85-35541
035			\|a (RuTPU)RU\TPU\book\309801
090			\|a 285558
100			\|a 20150226d1985 k y0rusy5003 ca
101	1		\|a rus \|c eng
102			\|a RU
105			\|a a z 001zy
200	1		\|a Ламбда-исчисление. Его синтаксис и семантика \|e пер. с англ. \|f Х. Барендрегт
210			\|a Москва \|c Мир \|d 1985
215			\|a 606 с. \|c ил.
320			\|a Библиогр.: с. 574-586
320			\|a Предметный указатель: с. 587-591
320			\|a Указатель обозначений: с. 592-602
606			\|a Математическая логика \|2 stltpush \|3 (RuTPU)RU\TPU\subj\41205 \|9 61013
610	1		\|a ламбда-исчисления
610	1		\|a упражнения
610	1		\|a конверсия
610	1		\|a теории
610	1		\|a редукция
610	1		\|a модели
610	1		\|a деревья Бёма
610	1		\|a теоремы Аносова
610	1		\|a стратегии
610	1		\|a построение
610	1		\|a структура
675			\|a 510.6 \|v 3
700		1	\|a Барендрегт \|b Х. П. \|g Хендрик Питер
801		0	\|a RU \|b RuMRKP \|c 19950704 \|g psbo
801		1	\|a RU \|b 63413507 \|c 20150226
801		2	\|a RU \|b 63413507 \|c 20171110 \|g RCR
942			\|c BK