Поиск ведется по:
Общее количество найденных документов : 33
| 1-20 21-33 |
1. 517.2
Х204
Харин, Н. Н.
Математическая логика и теория множеств : (О соотношении абстрактного и конкретного) / Н. Н. Харин ; под ред. Я. Л. Харапинского. - Москва : Росвузиздат, 1963. - 192 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510
Ключевые слова: математика -- математическая логика -- теория множеств -- соотношение абстрактного и конкретного
Доп.точки доступа: Харапинский, Я. Л. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Х204
Харин, Н. Н.
Математическая логика и теория множеств : (О соотношении абстрактного и конкретного) / Н. Н. Харин ; под ред. Я. Л. Харапинского. - Москва : Росвузиздат, 1963. - 192 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510
Ключевые слова: математика -- математическая логика -- теория множеств -- соотношение абстрактного и конкретного
Доп.точки доступа: Харапинский, Я. Л. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
2. 51
П781
Проблемы Гильберта : сборник / под ред. П. С. Александрова. - Москва : Наука, 1969. - 239 с. - Б. ц.
ГРНТИ 27.03
УДК:510
Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- Гильберт
Доп.точки доступа: Александров, П. С. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
П781
Проблемы Гильберта : сборник / под ред. П. С. Александрова. - Москва : Наука, 1969. - 239 с. - Б. ц.
ГРНТИ 27.03
УДК:510
Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- Гильберт
Доп.точки доступа: Александров, П. С. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
3. 517.2
И204
Иванов, Леонид Дмитриевич.
Вариации множеств и функций / Л. Д. Иванов ; под ред. А. Г. Витушкина. - Москва : Наука, 1975. - 352 с. : ил. ; 22 см. - Библиогр.: с. 349-352 (108 назв.). - 6000 экз.. - (в пер.) : 1.65 р.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств -- функции
Доп.точки доступа: Витушкин, А. Г. \ред.\ ---
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
И204
Иванов, Леонид Дмитриевич.
Вариации множеств и функций / Л. Д. Иванов ; под ред. А. Г. Витушкина. - Москва : Наука, 1975. - 352 с. : ил. ; 22 см. - Библиогр.: с. 349-352 (108 назв.). - 6000 экз.. - (в пер.) : 1.65 р.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств -- функции
Доп.точки доступа: Витушкин, А. Г. \ред.\ ---
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
4. 517.2
И889
Исследования по теории множеств и неклассическим логикам : [сборник статей] / Всесоюз. ин-т науч. и техн. информ. ; отв. ред. Д. А. Бочвар, В. Н. Гришин. - Москва : Наука, 1976. - 328 с. ; 20 см. - 3900 экз.. - (в пер.) : 1.00 р.
ГРНТИ 27.03
УДК:510
Ключевые слова: неклассические логики -- теория множеств -- теория алгоритмов -- сборники статей
Доп.точки доступа: Бочвар, Д. А. \ред.\ --- Гришин, В. Н. \ред.\ --- Всесоюзный институт научной и технической информации
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
И889
Исследования по теории множеств и неклассическим логикам : [сборник статей] / Всесоюз. ин-т науч. и техн. информ. ; отв. ред. Д. А. Бочвар, В. Н. Гришин. - Москва : Наука, 1976. - 328 с. ; 20 см. - 3900 экз.. - (в пер.) : 1.00 р.
ГРНТИ 27.03
УДК:510
Ключевые слова: неклассические логики -- теория множеств -- теория алгоритмов -- сборники статей
Доп.точки доступа: Бочвар, Д. А. \ред.\ --- Гришин, В. Н. \ред.\ --- Всесоюзный институт научной и технической информации
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
5. 1М
Б 916
Бурова, И. Н.
Парадоксы теории множеств и диалектика / И. Н. Бурова ; Акад. наук СССР. - Москва : Наука, 1976. - 176 с. - Б. ц.
ГРНТИ 02.31
ББК А518.2
Ключевые слова: теория множеств -- диалектика
Доп.точки доступа: Академия наук СССР
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Б 916
Бурова, И. Н.
Парадоксы теории множеств и диалектика / И. Н. Бурова ; Акад. наук СССР. - Москва : Наука, 1976. - 176 с. - Б. ц.
ГРНТИ 02.31
ББК А518.2
Ключевые слова: теория множеств -- диалектика
Доп.точки доступа: Академия наук СССР
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
6. 517.6
А465
Александров, П. С.
Введение в теорию множеств и общую топологию : учебное пособие для математических специальностей вузов / П. С. Александров. - Москва : Наука, 1977. - 368 с. : ил. - Б. ц.
ГРНТИ 27.03.33
УДК:510.22(075.8)
Ключевые слова: теория множеств -- топология -- учебные пособия
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
А465
Александров, П. С.
Введение в теорию множеств и общую топологию : учебное пособие для математических специальностей вузов / П. С. Александров. - Москва : Наука, 1977. - 368 с. : ил. - Б. ц.
ГРНТИ 27.03.33
УДК:510.22(075.8)
Ключевые слова: теория множеств -- топология -- учебные пособия
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
7. 517
О-945
Очан, Ю. С.
Сборник задач по математическому анализу. Общая теория множеств и функции : учебное пособие для физико-математических факультетов педагогических институтов / Ю. С. Очан ; под ред. М. Ф. Бокштейна. - Москва : Просвещение, 1981. - 271 с. : ил. - Б. ц.
ГРНТИ 27.23
УДК:517(075.8)
Ключевые слова: математический анализ -- теория множеств -- функции -- сборники задач -- учебные пособия
Доп.точки доступа: Бокштейн, М. Ф. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: аб (1)
Свободны: аб (1)
Найти похожие
О-945
Очан, Ю. С.
Сборник задач по математическому анализу. Общая теория множеств и функции : учебное пособие для физико-математических факультетов педагогических институтов / Ю. С. Очан ; под ред. М. Ф. Бокштейна. - Москва : Просвещение, 1981. - 271 с. : ил. - Б. ц.
ГРНТИ 27.23
УДК:517(075.8)
Ключевые слова: математический анализ -- теория множеств -- функции -- сборники задач -- учебные пособия
Доп.точки доступа: Бокштейн, М. Ф. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: аб (1)
Свободны: аб (1)
Найти похожие
8. 517.2
С741
Справочная книга по математической логике : в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . - Пер. изд. : Handbook of mathematical logic. - Amsterdam, 1977.
Ч. 2 : Теория множеств. - 1982. - 376 с. - ). - Б. ц.
ГРНТИ 27.03.19
УДК:510.6(035)
Ключевые слова: математическая логика -- теория множеств -- справочники
Доп.точки доступа: Барвайс, Дж. \ред.\ ---
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
С741
Справочная книга по математической логике : в 4 частях : перевод с английского / под ред. Дж. Барвайса. - Москва : Наука, 1982 - . - Пер. изд. : Handbook of mathematical logic. - Amsterdam, 1977.
Ч. 2 : Теория множеств. - 1982. - 376 с. - ). - Б. ц.
ГРНТИ 27.03.19
УДК:510.6(035)
Ключевые слова: математическая логика -- теория множеств -- справочники
Доп.точки доступа: Барвайс, Дж. \ред.\ ---
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
9. 517.2
В741
Вопенка, Петр.
Математика в альтернативной теории множеств / П. Вопенка ; пер. с англ. А. Г. Драгалина. - Москва : Мир, 1983. - 150 с. : ил. ; 21 см. - (Математика. Новое в зарубежной науке ; 31). - Библиогр.: с. 148-149 (25 назв.). - Пер. изд. : Mathematics in the alternative st theory / Petr Vopenka. - Leipzig, 1979. - 6000 экз.. - 1.10 р.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств
Доп.точки доступа: Драгалин, А. Г. \пер.\ --- Vopenka, Petr
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
В741
Вопенка, Петр.
Математика в альтернативной теории множеств / П. Вопенка ; пер. с англ. А. Г. Драгалина. - Москва : Мир, 1983. - 150 с. : ил. ; 21 см. - (Математика. Новое в зарубежной науке ; 31). - Библиогр.: с. 148-149 (25 назв.). - Пер. изд. : Mathematics in the alternative st theory / Petr Vopenka. - Leipzig, 1979. - 6000 экз.. - 1.10 р.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств
Доп.точки доступа: Драгалин, А. Г. \пер.\ --- Vopenka, Petr
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
10. 517.2
В443
Виленкин, Н. Я.
В поисках бесконечности / Н. Я. Виленкин. - Москва : Наука, 1983. - 161 с. : ил. - (Наука и технический прогресс). - Б. ц.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств -- бесконечность
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
В443
Виленкин, Н. Я.
В поисках бесконечности / Н. Я. Виленкин. - Москва : Наука, 1983. - 161 с. : ил. - (Наука и технический прогресс). - Б. ц.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств -- бесконечность
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
11. 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)
Найти похожие
Л136
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 223 с. ; 20 см. - Библиогр.: с. 214-215 (39 назв.). - Предм. указ.: с. 216-223. - 22000 экз.. - 0.90 р.
В библиотеке есть издание 1975 г.
ГРНТИ 27.03
УДК:510
Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- задачи
Доп.точки доступа: Максимова, Лариса Львовна ---
Экземпляры всего: 7
Mесто хранения: кх (5), аб (2)
Свободны: кх (5), аб (2)
Найти похожие
12. 517.2
Ч-651
Чирка, Евгений Михайлович.
Комплексные аналитические множества / Е. М. Чирка. - Москва : Наука, 1985. - 272 с. : ил. ; 22 см. - Библиогр.: с. 261-268. - Предм. указ.: с. 269-272. - 3400 экз.. - (в пер.) : 3.70 р.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств -- комплексные аналитические множества
Экземпляры всего: 3
Mесто хранения: кх (3)
Свободны: кх (3)
Найти похожие
Ч-651
Чирка, Евгений Михайлович.
Комплексные аналитические множества / Е. М. Чирка. - Москва : Наука, 1985. - 272 с. : ил. ; 22 см. - Библиогр.: с. 261-268. - Предм. указ.: с. 269-272. - 3400 экз.. - (в пер.) : 3.70 р.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств -- комплексные аналитические множества
Экземпляры всего: 3
Mесто хранения: кх (3)
Свободны: кх (3)
Найти похожие
13. 517.2
К198
Кантор, Георг.
Труды по теории множеств / Г. Кантор ; отв. ред.: А. Н. Колмогоров, А. П. Юшкевич. - Москва : Наука, 1985. - 430 с. : ил. ; 22 см. - (Классики науки). - Библиогр.: с. 389-399. - Указ.: с. 421-429. - 3450 экз.. - (в пер.) : 3.60 р.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств
Доп.точки доступа: Колмогоров, Андрей Николаевич \ред.\ --- Юшкевич, А. П. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
К198
Кантор, Георг.
Труды по теории множеств / Г. Кантор ; отв. ред.: А. Н. Колмогоров, А. П. Юшкевич. - Москва : Наука, 1985. - 430 с. : ил. ; 22 см. - (Классики науки). - Библиогр.: с. 389-399. - Указ.: с. 421-429. - 3450 экз.. - (в пер.) : 3.60 р.
ГРНТИ 27.03.33
УДК:510.22
Ключевые слова: теория множеств
Доп.точки доступа: Колмогоров, Андрей Николаевич \ред.\ --- Юшкевич, А. П. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
14. 517
Л 478
Задачи по теории функций действительного переменного : Учеб. пособие для вузов по спец. "Математика" / Т.А. Леонтьева, В.С. Панферов, В.С. Серов. - москва : Изд-во МГУ, 1997. - 208 с. - ISBN 5211040546 : 36.40 р.
ГРНТИ 27.23
УДК:517.51(075.8)
Ключевые слова: Теория фукций действительного переменного -- Учебные пособия -- теория множеств -- Метрические пространства -- Мера Лебега -- Измеримые функции -- Интеграл Лебега -- Тригонометрические ряды -- Ряды Фурье -- Преобразование Фурье
Доп.точки доступа: Панферов, В.С. --- Серов, В.С. --- Леонтьева, Т.А. ---
Экземпляры всего: 25
Mесто хранения: аб (23), чз (2)
Свободны: аб (23), чз (2)
Найти похожие
Л 478
Задачи по теории функций действительного переменного : Учеб. пособие для вузов по спец. "Математика" / Т.А. Леонтьева, В.С. Панферов, В.С. Серов. - москва : Изд-во МГУ, 1997. - 208 с. - ISBN 5211040546 : 36.40 р.
ГРНТИ 27.23
УДК:517.51(075.8)
Ключевые слова: Теория фукций действительного переменного -- Учебные пособия -- теория множеств -- Метрические пространства -- Мера Лебега -- Измеримые функции -- Интеграл Лебега -- Тригонометрические ряды -- Ряды Фурье -- Преобразование Фурье
Доп.точки доступа: Панферов, В.С. --- Серов, В.С. --- Леонтьева, Т.А. ---
Экземпляры всего: 25
Mесто хранения: аб (23), чз (2)
Свободны: аб (23), чз (2)
Найти похожие
15. 51
В317
Верещагин, Н. К.
Начала теории множеств : научное издание / Н.К. Верещагин, А. Шень. - москва : МЦНМО, 1999. - 127 с. : ил. - (Лекции по математической логике и теории алгоритмов). - ISBN 5900916367 : 32.40 р.
ГРНТИ 27
УДК:510
Ключевые слова: Теория множеств -- Мощности -- Упорядоченные множества -- Трансфинитная индукция -- Ординалы -- Множества
Доп.точки доступа: Шень, А. ---
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
В317
Верещагин, Н. К.
Начала теории множеств : научное издание / Н.К. Верещагин, А. Шень. - москва : МЦНМО, 1999. - 127 с. : ил. - (Лекции по математической логике и теории алгоритмов). - ISBN 5900916367 : 32.40 р.
ГРНТИ 27
УДК:510
Ключевые слова: Теория множеств -- Мощности -- Упорядоченные множества -- Трансфинитная индукция -- Ординалы -- Множества
Доп.точки доступа: Шень, А. ---
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
16. 51
Г806
Грес, П. В.
Математика для гуманитариев : Учеб. пособие для гуманит. вузов / Грес П.В. - москва : Юрайт, 2000. - 112 с. - ISBN 5852940917 : 20.73 р.
ГРНТИ 27
УДК:51(075.8)
Ключевые слова: Математика -- Теория множеств -- Математический анализ -- Математические методы -- учебные пособия
Экземпляры всего: 2
Mесто хранения: чз (2)
Свободны: чз (2)
Найти похожие
Г806
Грес, П. В.
Математика для гуманитариев : Учеб. пособие для гуманит. вузов / Грес П.В. - москва : Юрайт, 2000. - 112 с. - ISBN 5852940917 : 20.73 р.
ГРНТИ 27
УДК:51(075.8)
Ключевые слова: Математика -- Теория множеств -- Математический анализ -- Математические методы -- учебные пособия
Экземпляры всего: 2
Mесто хранения: чз (2)
Свободны: чз (2)
Найти похожие
17. 519.1
Р695
Романовский, Иосиф Владимирович.
Дискретный анализ : Учеб. пособие по прикл. математике и информатике / И.В. Романовский. - 2-е изд., испр. - М., СПб. : ФИЗМАТЛИТ, Невский диалект, Лаборатория базовых знаний, 2001. - 240 с. : ил. - ISBN 5794000481 : 73.62 р.
ГРНТИ 27.29.25
УДК:519.1(075.8)
Ключевые слова: Дискретный анализ -- Теория множеств -- Строки фиксированной длины -- Теория вероятностей -- Строки переменной длины -- Предикаты -- Отношения порядка -- Теория графов -- Математика -- Информатика -- Учебные пособия
Экземпляры всего: 15
Mесто хранения: аб (14), чз (1)
Свободны: аб (14), чз (1)
Найти похожие
Р695
Романовский, Иосиф Владимирович.
Дискретный анализ : Учеб. пособие по прикл. математике и информатике / И.В. Романовский. - 2-е изд., испр. - М., СПб. : ФИЗМАТЛИТ, Невский диалект, Лаборатория базовых знаний, 2001. - 240 с. : ил. - ISBN 5794000481 : 73.62 р.
ГРНТИ 27.29.25
УДК:519.1(075.8)
Ключевые слова: Дискретный анализ -- Теория множеств -- Строки фиксированной длины -- Теория вероятностей -- Строки переменной длины -- Предикаты -- Отношения порядка -- Теория графов -- Математика -- Информатика -- Учебные пособия
Экземпляры всего: 15
Mесто хранения: аб (14), чз (1)
Свободны: аб (14), чз (1)
Найти похожие
18. 681.3.06
Н731
Новиков, Ф. А.
Дискретная математика для программистов : Учеб. пособие для вузов / Ф.А. Новиков. - Санкт-Петербург : Питер, 2001. - 301 с. : ил. - (Учебник для вузов). - ISBN 5272001834 : 121.00 р.
ГРНТИ 50.05
УДК:004.42(075.8)
Ключевые слова: Дискретная математика -- Алгоритмы -- Дискретные структуры данных -- Теория множеств -- Алгебраические структуры -- Комбинаторика -- Кодирование -- Теория графов -- учебные пособия
Экземпляры всего: 10
Mесто хранения: кх (5), аб (5)
Свободны: кх (5), аб (5)
Найти похожие
Н731
Новиков, Ф. А.
Дискретная математика для программистов : Учеб. пособие для вузов / Ф.А. Новиков. - Санкт-Петербург : Питер, 2001. - 301 с. : ил. - (Учебник для вузов). - ISBN 5272001834 : 121.00 р.
ГРНТИ 50.05
УДК:004.42(075.8)
Ключевые слова: Дискретная математика -- Алгоритмы -- Дискретные структуры данных -- Теория множеств -- Алгебраические структуры -- Комбинаторика -- Кодирование -- Теория графов -- учебные пособия
Экземпляры всего: 10
Mесто хранения: кх (5), аб (5)
Свободны: кх (5), аб (5)
Найти похожие
19. 519.1
С892
Судоплатов, Сергей Владимирович.
Элементы дискретной математики : Учеб. для втузов / С.В. Судоплатов, Е.В. Овчинникова ; Новосибирский гос. техн. ун-т. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2002. - 279 с. : ил. - (Высшее образование). - ISBN 5-16-000957-4. - ISBN 5-7782-0332-2 : 130.00 р.
Рек. МО РФ
ГРНТИ 27.45
УДК:519.1(075.8)
Ключевые слова: дискретная математика -- теория множеств -- алгебраические системы -- числовые системы -- теория графов -- комбинаторика -- алгебра логики -- формальные исчисления -- учебники
Доп.точки доступа: Овчинникова, Елена Викторовна --- Новосибирский гос. техн. ун-т
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
С892
Судоплатов, Сергей Владимирович.
Элементы дискретной математики : Учеб. для втузов / С.В. Судоплатов, Е.В. Овчинникова ; Новосибирский гос. техн. ун-т. - М. : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2002. - 279 с. : ил. - (Высшее образование). - ISBN 5-16-000957-4. - ISBN 5-7782-0332-2 : 130.00 р.
Рек. МО РФ
ГРНТИ 27.45
УДК:519.1(075.8)
Ключевые слова: дискретная математика -- теория множеств -- алгебраические системы -- числовые системы -- теория графов -- комбинаторика -- алгебра логики -- формальные исчисления -- учебники
Доп.точки доступа: Овчинникова, Елена Викторовна --- Новосибирский гос. техн. ун-т
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
20. 51
К608
Колмогоров, Андрей Николаевич.
Математическая логика : Учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - Москва : Издательство УРСС, 2004. - 238 с. : ил. - (Классический университетский учебник). - ISBN 5-354-00389-X : 196.29 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)
Ключевые слова: математическая логика -- теория множеств -- логико-математические языки -- логические законы -- формальные аксиоматические теории -- теория алгорифмов -- теория доказательств -- учебные пособия
Доп.точки доступа: Драгалин, Альберт Григорьевич --- Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
К608
Колмогоров, Андрей Николаевич.
Математическая логика : Учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - Москва : Издательство УРСС, 2004. - 238 с. : ил. - (Классический университетский учебник). - ISBN 5-354-00389-X : 196.29 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)
Ключевые слова: математическая логика -- теория множеств -- логико-математические языки -- логические законы -- формальные аксиоматические теории -- теория алгорифмов -- теория доказательств -- учебные пособия
Доп.точки доступа: Драгалин, Альберт Григорьевич --- Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие