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

Detaylı Bibliyografya
Yazar:	Барендрегт Х. П. Хендрик Питер
Dil:	Rusça
Baskı/Yayın Bilgisi:	Москва, Мир, 1985
Konular:	Математическая логика ламбда-исчисления упражнения конверсия теории редукция модели деревья Бёма теоремы Аносова стратегии построение структура
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=285558

Benzer Materyaller