Ламбада-исчисление : Хендрик Барендрегт ; Пер. с англ. Г. Е. Минца ; Под ред. А. С. Кузичева. Его синтаксис и семантика /
By: Барендрегт, Хендрик Питер.
Contributor(s): Минц, Г. Е [მთარგმნელი] | Кузичев, А. С [რედაქტორი].
Material type:
TextМосква : Мир, 1985Description: 606 с.Subject(s): მათემატიკური ლიგიკა | ლამბდა Calculus
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
წიგნი
|
ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 510.6 (Browse shelf) | 2R653609 | შესამოწმებელია | 2016-25538 |
Библиогр. : с. 574-586.
There are no comments for this item.