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

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

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

2.    517.2
   Х204
    Харин, Н. Н.
    Математическая логика и теория множеств : (О соотношении абстрактного и конкретного) / Н. Н. Харин ; под ред. Я. Л. Харапинского. - Москва : Росвузиздат, 1963. - 192 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510
Ключевые слова: математика -- математическая логика -- теория множеств -- соотношение абстрактного и конкретного
Доп.точки доступа: Харапинский, Я. Л. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

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

3.    518
   М34
   
    Математическая логика и ее применения : сборник статей / под ред. Э. Нагела ; пер. с англ. под ред. А. И. Мальцева. - Москва : Мир, 1965. - 0 : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- сборники статей
Доп.точки доступа: Нагел, Э. \ред.\ --- Мальцев, А. И. \пер., ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

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

4.    51
   Л19
    Лакатос, И.
    Доказательства и опровержения : Как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - Москва : Наука, 1967. - 152 с. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: доказательства теорем -- опровержения
Доп.точки доступа: Веселовский, И. Н. \пер.\ --- Академия наук СССР

Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

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

5.    51
   П781
   
    Проблемы Гильберта : сборник / под ред. П. С. Александрова. - Москва : Наука, 1969. - 239 с. - Б. ц.
ГРНТИ 27.03
УДК:510
Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- Гильберт
Доп.точки доступа: Александров, П. С. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

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

6.    518
   А456
   
    Алгоритмы и алгоритмические языки. Вып. 4 / Акад. наук СССР, Вычисл. центр. - Москва : [б. и.], 1969. - 116 с. - Б. ц.
ГРНТИ 27.03
УДК:510.5
Ключевые слова: алгоритмы -- алгоритмические языки
Доп.точки доступа: Академия наук СССР. Вычислительный центр

Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

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

7.    51
   К23
    Карри, Хаскелл Брукс.
    Основания математической логики / Х. Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 569 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- основания математической логики
Доп.точки доступа: Донченко, В. В. \пер.\ --- Гастев, Ю. А. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)

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

8.    517
   К307
    Кац, М.
    Математика и логика : Ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. - Москва : Мир, 1971. - 250 с. - (Современная математика). - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Улам, С. --- Плужникова, Н. И. \пер.\ --- Яглом, И. М. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

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

9.    517.2
   Н731
    Новиков, П. С.
    Элементы математической логики / П. С. Новиков. - Изд. 2-е, испр. - Москва : Наука, 1973. - 400 с. : ил. - (Математическая логика и основания математики). - Б. ц.
В библиотеке есть издание 1959 г.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- основания математики -- элементы математической логики
Экземпляры всего: 2
Mесто хранения: кх (1), аб (1)
Свободны: кх (1), аб (1)

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

10.    517.2
   К493
    Клини, С. К.
    Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Гастев, Ю. А. \пер.\ --- Минц, Г. Е. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

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