|
|
 |
| Результат поиска |
Поиск книг, содержащих: Мостовский
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 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. Книга 2 | 408, 410, 411, 420, 421, 426, 430, 439, 446, 534 | | Клайн М. — Математика. Утрата определенности | 379 | | Клини С.К. — Математическая логика | 106, 217, 323, 326, 333—337, 341, 458, 459, 463 |
|
|
|
|
О проекте