Normal view MARC view ISBD view

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

By:

Барендрегт, Хендрик Питер

Contributor(s):

Material type: Text

TextLanguage: Russian Original language: English Publication details: Москва : Мир, 1985.Description: 608 сSubject(s):

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Notes	Date due	Barcode
Գրքեր/Books	Fundamental Scientific Library	General	PII/534541 (Browse shelf(Opens below))	Available	30 Days Loan		FL0164420
Գրքեր/Books	Fundamental Scientific Library	General	PII/536588 (Browse shelf(Opens below))	Available	30 Days Loan		FL0158612

Browsing Fundamental Scientific Library shelves, Collection: General Close shelf browser (Hides shelf browser)

Previous								Next
Previous	PII/536581 Изотопная геология /	PII/536582 Гранитные системы и граниты /	PII/536584 Водород и физические свойства металлов и сплавов : Гидриды переходных металлов /	PII/536588 Ламбда-исчисление : Его синтаксис и семантика /	PII/536589 Точно решаемые модели в статистической механике : Пер. с англ. /	PII/53659 Лабораторные работы и задачи по фрезерному делу : [Для профессионально-технических училищ] /	PII/536590 Рабочий класс Азии : Справочник /	Next

Библиогр.: с. 574-586

Оригинал на англ. : The Lambda Calculus : Its Syntax and Semantics / H.P. Barendregt - Amsterdam New York Oxford : North-Holland Publishing Company : 1981

There are no comments on this title.

to post a comment.