ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Ламбда-исчисление. Его синтаксис и семантика/ Хендрик Питер Барендрегт; Пер. Г. Е. Минц; Ред. А . Ц. Кузичев
Material type:
TextLanguage: Russian Original language: English Publication details: Москва: Мир, 1985.Description: 606с.: илOther title: - The Lambda Calculus. Its Syntax and Semantics [Cover title]
- 51.01:16
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | General | 51.01:16 (Browse shelf(Opens below)) | Available | IAP24624 | |
|
Books
|
Institute for Informatics and Automation Problems | General | 51.01:16 (Browse shelf(Opens below)) | Available | IAP24623 |
Библиогр.:с.574-586
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.