Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Сколем



КнигаСтраницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.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
Райзер Г.Дж. — Комбинаторная математика50, 133
Манин Ю.И., Панчишкин А.А. — Введение в теорию чисел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
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте