51 В317 Верещагин, Н. К. Начала теории множеств : научное издание / Н.К. Верещагин, А. Шень. - москва : МЦНМО, 1999. - 127 с. : ил. - (Лекции по математической логике и теории алгоритмов). - ISBN 5900916367 : 32.40 р. ГРНТИ 27 УДК:510 Ключевые слова: Теория множеств -- Мощности -- Упорядоченные множества -- Трансфинитная индукция -- Ординалы -- Множества Доп.точки доступа: Шень, А. --- Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
517.2 Л136 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 223 с. ; 20 см. - Библиогр.: с. 214-215 (39 назв.). - Предм. указ.: с. 216-223. - 22000 экз.. - 0.90 р. В библиотеке есть издание 1975 г. ГРНТИ 27.03 УДК:510 Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- задачи Доп.точки доступа: Максимова, Лариса Львовна --- Экземпляры всего: 7 Mесто хранения: кх (5), аб (2) Свободны: кх (5), аб (2) |
51 П781 Проблемы Гильберта : сборник / под ред. П. С. Александрова. - Москва : Наука, 1969. - 239 с. - Б. ц. ГРНТИ 27.03 УДК:510 Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- Гильберт Доп.точки доступа: Александров, П. С. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 И889 Исследования по теории множеств и неклассическим логикам : [сборник статей] / Всесоюз. ин-т науч. и техн. информ. ; отв. ред. Д. А. Бочвар, В. Н. Гришин. - Москва : Наука, 1976. - 328 с. ; 20 см. - 3900 экз.. - (в пер.) : 1.00 р. ГРНТИ 27.03 УДК:510 Ключевые слова: неклассические логики -- теория множеств -- теория алгоритмов -- сборники статей Доп.точки доступа: Бочвар, Д. А. \ред.\ --- Гришин, В. Н. \ред.\ --- Всесоюзный институт научной и технической информации Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 Т15 Такеути, Г. Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева ; под ред. С. И. Адяна. - Москва : Мир, 1978. - 412 с. : ил. - Б. ц. ГРНТИ 27 УДК:510 Ключевые слова: математика -- теория доказательств Доп.точки доступа: Соболев, С. К. \пер.\ --- Адян, С. И. \ред.\ --- Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |
51 Э624 Энгелер, Эрвин. Метаматематика элементарной математики / Э. Энгелер ; пер. с нем. Г. Е. Минца ; под ред. А. О. Слисенко. - Москва : Мир, 1987. - 126, [1] с. : ил. ; 22 см. - Библиогр. в конце разд. - Указ. имен., предм.: с. 123-126. - Пер. изд. : Metamathematik der Elementarmathematik / E Engeler. - Berlin etc., 1983. - 14000 экз.. - 0.50 р. ГРНТИ 27 УДК:510 Ключевые слова: метаматематика -- элементарная математика Доп.точки доступа: Минц, Г. Е. \пер.\ --- Слисенко, А. О. \ред.\ --- Engeler, E Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
51 Ф38 Феликс, Люсьенн. Элементарная математика в современном изложении / Л. Феликс ; пер. с фр. под ред. Б. Л. Лаптева. - Москва : Просвещение, 1967. - 488 с. : ил. - Б. ц. ГРНТИ 27 УДК:510 Ключевые слова: элементарная математика Доп.точки доступа: Лаптев, Б. Л. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 Х204 Харин, Н. Н. Математическая логика и теория множеств : (О соотношении абстрактного и конкретного) / Н. Н. Харин ; под ред. Я. Л. Харапинского. - Москва : Росвузиздат, 1963. - 192 с. : ил. - Б. ц. ГРНТИ 27.03.19 УДК:510 Ключевые слова: математика -- математическая логика -- теория множеств -- соотношение абстрактного и конкретного Доп.точки доступа: Харапинский, Я. Л. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 К715 Косовский, Н. К. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов : учебное пособие / Н. К. Косовский ; М-во высш. и сред. спец. образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1981. - 192 с. - Б. ц. ГРНТИ 27.03.19 УДК:510 Ключевые слова: математика -- математическая логика -- теория субрекурсивных алгоритмов -- учебные пособия Доп.точки доступа: Министерство высшего и среднего специального образования РСФСР Экземпляры всего: 5 Mесто хранения: кх (3), аб (2) Свободны: кх (3), аб (2) |