Поиск :
Личный кабинет :
Электронный каталог: Карри, Х. Б. - Основания математической логики
Карри, Х. Б. - Основания математической логики
Доступно
1 из 4
1 из 4
Книга
51 К268
Карри, Х. Б.
Основания математической логики / Х. Б. Карри; Пер. с англ. В. В. Донченко; Под ред. Ю. А. Гастева. – М.: Мир, 1969. – 568 с.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
165056 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К268
165057 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К268
165058 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К268
5692 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 К268
51 К268
Карри, Х. Б.
Основания математической логики / Х. Б. Карри; Пер. с англ. В. В. Донченко; Под ред. Ю. А. Гастева. – М.: Мир, 1969. – 568 с.
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
165056 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К268
165057 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К268
165058 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 К268
5692 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 К268