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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Мостовский



КнигаСтраницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.508
Мендельсон Э. — Введение в математическую логику171, 174, 175, 179, 213, 227, 268, 299, 302, 306, 309
Френкель А.А., Бар-Хиллел И. — Основания теории множеств8, 29, 30, 31, 32, 45, 57, 60, 71, 72, 74, 86, 97, 98, 114, 116, 120, 121, 135, 137, 152, 154, 155, 168, 275, 278, 331, 332, 335, 336, 337, 340, 344, 351, 363, 365, 366, 368, 372, 374, 375, 386, 392, 393, 397, 398, 411, 412, 413, 415, 416, 442, 445, 446, 447, 451, 457, 462, 465, 507, 512, 515, 517, 520, 534
Энгелькинг Р. — Общая топология31, 328, 330
Курош А.Г. — Теория групп546, 547, 550
Клини С. — Математическая логика106, 217, 323, 326, 333—337, 341, 458, 459, 463
Манин Ю.И. — Доказуемое и недоказуемое71, 72
Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость72, 263, 428
Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств52—57, 60, 273, 284, 331, 361
Кушнер Б.А. — Лекции по конструктивному математическому анализу16, 20, 210, 212, 215, 311, 432, 435
Джонстон П.Т. — Теория топосов325, 335
Куратовский К. — Топология (том 2)450, 601
Медведев Ф.А. — Французская школа теории функций и множеств на рубеже XIX - XX вв.139, 219
Копытов В.М., Медведев Н.Я. — Правоупорядоченные группы187, 189
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции134, 149
Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций13, 16, 116, 262, 264
Чёрч А. — Введение в математическую логику (том 1)п. 560, § 57, п. 566, п. 568, п. 572
Карри Х.Б. — Основания математической логики43, 44, 64, 184, 189, 190, 490, 501
Робинсон А. — Введение в теорию моделей и мета-математику алгебры10, 127, 364
Клайн М. — Математика. Утрата определенности379
Шенфилд Дж. — Степени неразрешимости163, 179
Булос Дж., Джеффри Р. — Вычислимость и логика215
Клини С.К. — Введение в метаматематику253, 256, 261, 264, 270, 287, 381, 882, 386, 388, 434, 493, 504
Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2408, 410, 411, 420, 421, 426, 430, 439, 446, 534
Клайн М. — Математика. Утрата определенности379
Клини С.К. — Математическая логика106, 217, 323, 326, 333—337, 341, 458, 459, 463
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте