Каталог печатных изданий библиотеки НИУ ВШЭ

Многотомник

Справочная книга по математической логике: в 4 ч. / Под ред. Дж. Барвайса. – М.: Наука. Гл. ред. физ.-мат. лит.
Книга
51 С741

Ч.4 : Теория доказательств и конструктивная математика / Пер. с англ. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова. – 1983. – 392 с.

51

общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory

165111 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 С741
165112 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 С741
165113 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 С741
4929 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 С741