No cover image available
Ламбда-исчисление : Его синтаксис и семантика / Х.П. Барендрегт ; Пер. с англ. Г.Е. Минца ; Под ред. А.С. Кузичева.
By: Барендрегт, Хендрик Питер
Contributor(s): Минц, Г.Е [пер.] | Кузичев, А.С [ред.] Material type: 
TextLanguage: Russian Original language: English Publication details: Москва : Мир, 1985Description: 608 сSubject(s): Математическая логика
| Item type | Current library | Collection | Call number | Status | Notes | Date due |
|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/534541 (Browse shelf(Opens below)) | Available | 30 Days Loan | |
|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/536588 (Browse shelf(Opens below)) | Available | 30 Days Loan |
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.