|
|
 |
| Результат поиска |
Поиск книг, содержащих: Сколем
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 235, 243, 260, 418 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 23, 29, 33, 34, 46, 57, 58, 59, 108, 110, 111, 116, 117, 123, 124, 134, 135, 136, 137, 138, 144, 155, 165, 196, 213, 232, 237, 274, 279, 287, 290, 296, 307, 311, 346, 350, 351, 352, 353, 363, 365, 373, 375, 382, 404, 407, 408, 409, 412, 413, 459, 460, 491, 504, 524, 528, 531 | | Мендельсон Э. — Введение в математическую логику | 79, 92, 100, 202, 227, 305 | | Манин Ю.И. — Доказуемое и недоказуемое | 21, 70, 74, 152 | | Куратовский К., Мостовский А. — Теория множеств | 34, 64, 117 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 227 | | Манин Ю.И., Панчишкин А.А. — Введение в теорию чисел | 17 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 67, 572 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 157, 177 | | Чёрч А. — Введение в математическую логику (том 1) | п. 430, п. 432, п. 434, п. 437, 46.13, п. 446, п. 452, § 49, п. 456, п. 464, п. 475, п. 483, п. 504, п. 547 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 18, 168—169, 187—188, 203—204, 206, 208, 250, 376, 420 | | Карри Х.Б. — Основания математической логики | 25, 48, 50, 149, 185, 187, 189, 190, 212, 237, 239, 242 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 41, 44, 81, 82, 315, 355, 368 | | Клайн М. — Математика. Утрата определенности | 315, 319, 358 | | Картер Р.У. — О теории представлений конечных групп Ли над алгебраически замкнутым полем характеристики нуль | 144, 163, 166 | | Линдон Р. — Заметки по логике | 85—88 | | Херстейн И. — Некоммутативные кольца | 96, 98, 102, 103, 105 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 202, 205, 290 | | Рибенбойм П. — Последняя теорема Ферма для любителей | 281, 293 | | Клини С.К. — Введение в метаматематику | 43, 243, 256, 349, 352, 377, 378, 381, 382, 385, 420 | | Клайн М. — Математика. Утрата определенности | 315, 319, 358 |
|
|
|
|
О проекте