ՀԱՊՀ Գրադարանի Գրացուցակ = NPUA Library Catalog

Normal view MARC view ISBD view

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

By: Барендрегт, Хендрик Питер.
Contributor(s): Минц, Г.Е [пер.] | Кузичев, А.С [ред.].
Material type: materialTypeLabelBookPublisher: Москва : Мир , 1985Description: 608 с.Subject(s): Математическая логика
Item type Current location Collection Call number Vol info Status Notes Date due Barcode
Books Books Scientific Literature Depository 510.6 Б-24 (Browse shelf) т.2 Available 30 Days Loan EU0309178
Books Books Scientific Literature Depository 510.6 Б-24 (Browse shelf) т.2 Available 30 Days Loan EU0309179
Books Books Scientific Literature Depository 510.6 Б-24 (Browse shelf) т.2 Available 30 Days Loan EU0309180

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

Powered by Koha