Электронный каталог
Научной библиотеки ВСГУТУ

1.    51
   Ч-508
    Чёрч, Алонзо.
    Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)
Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники
Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

Найти похожие

2.    51(09)
   К608
    Колмогоров, А. Н.
    Математика в ее историческом развитии / А. Н. Колмогоров ; сост. Г. А. Гальперин ; под ред. В. А. Успенского. - Москва : Наука, 1991. - 224 с. - Б. ц.
ГРНТИ 27
УДК:51(09)
Ключевые слова: история математики
Доп.точки доступа: Гальперин, Г. А. \сост.\ --- Успенский, В. А. \ред.\ ---
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)

Найти похожие

3.    518
   У774
    Успенский, В. А.
    Теория алгоритмов : Основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Б. ц.
ГРНТИ 27.03
УДК:510.5
Ключевые слова: алгоритмы -- теория алгоритмов
Доп.точки доступа: Семенов, А. Л. ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

Найти похожие

4.    518
   У774
    Успенский, В. А.
    Машина Поста / В. А. Успенский. - 2-е изд., испр. - Москва : Наука, 1988. - 96 с. - (Популярные лекции по математике). - Б. ц.
ГРНТИ 27.41.23
УДК:519.67
Ключевые слова: машинные методы вычислительной математики -- машина Поста
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)

Найти похожие