Normal view MARC view ISBD view

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

By: Барендрегт, Хендрик ПитерContributor(s): Минц, Г.Е [пер.] | Кузичев, А.С [ред.]Material type: Text

TextLanguage: Russian Original language: English Publication details: Москва : Мир, 1985Description: 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 ( 2 )
Title notes ( 2 )
Comments ( 0 )

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

Библиогр.: с. 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.