| 000 | 00646nam a2200205Ia 4500 | ||
|---|---|---|---|
| 001 | 14874 | ||
| 003 | GE_BSU | ||
| 008 | 181216s||||||||xx |||||||||||||| ||und|| | ||
| 040 | _cGE_BSU | ||
| 080 | _a510.6 | ||
| 100 | _aБарендретт, Х. | ||
| 245 | _aЛамбда-исчисление.Его синтаксис и семантика. | ||
| 245 | _cпод. ред. А.С.Кузичева. пер.английского. | ||
| 260 | _aМосква | ||
| 260 | _bМир. | ||
| 260 | _c1985 | ||
| 300 | _a606 стр. 22см. | ||
| 653 | _aЛамбда-исчисление.Его синтаксис и семантика. | ||
| 942 | _cBK | ||
| 999 |
_c47996 _d47996 |
||