Ламбда-исчисление Х. Барендрегт
Сохранить в:
| Автор: | |
|---|---|
| Тип документа: | Книга |
| Язык: | Russian English |
| Год издания: |
Москва Мир 1985
|
| Ключевые слова: |
| LEADER | 01027nam0a2200277 i 4500 | ||
|---|---|---|---|
| 001 | 6F4BB994-B8EB-4D61-918B-6BD7BDFB2648 | ||
| 010 | |d р.3.70 | ||
| 100 | |a 20120703d1985 |||y0rusy02 ca | ||
| 101 | 1 | |a rus |c eng | |
| 102 | |a RU | ||
| 105 | |a a ||||000zy | ||
| 200 | 1 | |a Ламбда-исчисление |e его синтаксис и семантика |f Х. Барендрегт |g пер. с англ. Г. Е. Минца ; под ред. А. С. Кузичева | |
| 210 | |a Москва |c Мир |d 1985 | ||
| 215 | |a 606с. |c ил. |d 22 см | ||
| 320 | |a Библиогр.: с. 574-586. - Указ. предм. обозначений: с. 587-602 | ||
| 454 | |1 |a The lambda calculus | ||
| 606 | |a Математическая логика | ||
| 686 | |a 22 |2 rubbk | ||
| 686 | |a 27 |2 rugasnti | ||
| 700 | 1 | |a Барендрегт |b Х. П. |g Хендрик Питер | |
| 702 | 1 | |a Минц |b Г. Е. |4 730 | |
| 702 | 1 | |a Кузичев |b А. С. |4 340 | |
| 801 | 0 | |b ГПНТБ России |a RU |c 20120703 | |