Поиск :
Личный кабинет :
Электронный каталог: Барендрегт, Хендрик Питер - Ламбда-исчисление: Его синтаксис и семантика
Барендрегт, Хендрик Питер - Ламбда-исчисление: Его синтаксис и семантика
Доступно
3 из 3
3 из 3
Книга
Автор: Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика : Пер. с англ.
Издательство: Мир, 1985 г.
ISBN отсутствует
Автор: Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика : Пер. с англ.
Издательство: Мир, 1985 г.
ISBN отсутствует
Книга
51мл. Б248
Барендрегт, Хендрик Питер.
Ламбда-исчисление: Его синтаксис и семантика : Пер. с англ. / Х. П. Барендрегт; Под ред. А. С. Кузичева . - Москва : Мир, 1985 . - 606 с. : ил. - Библиогр. : с. 574-586 . - На рус. яз. : 3.70 .
00000000600222 МАТН 51мл. Б248
00000000600223 МАТН 51мл. Б248
00000000600224 МАТН 51мл. Б248
51мл. Б248
Барендрегт, Хендрик Питер.
Ламбда-исчисление: Его синтаксис и семантика : Пер. с англ. / Х. П. Барендрегт; Под ред. А. С. Кузичева . - Москва : Мир, 1985 . - 606 с. : ил. - Библиогр. : с. 574-586 . - На рус. яз. : 3.70 .
00000000600222 МАТН 51мл. Б248
00000000600223 МАТН 51мл. Б248
00000000600224 МАТН 51мл. Б248