|
|
 |
| Результат поиска |
Поиск книг, содержащих: Куайн
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 338 | | Мендельсон Э. — Введение в математическую логику | 10, 21, 22, 39, 227, 301, 308 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 5, 13, 29, 30, 32, 38, 40, 43, 44, 57, 58, 59, 60, 71, 96, 117, 123, 125, 134, 144, 152, 155, 157, 161, 165, 176, 178, 179, 180, 181, 183, 184, 185, 189, 190, 192, 193, 198, 210, 211, 223, 229, 248, 327, 345, 346, 363, 367, 368, 392, 394, 400, 401, 404, 405, 406, 407, 412, 436, 444, 484, 514, 515 | | Клини С. — Математическая логика | 44, 89, 458 | | Манин Ю.И. — Доказуемое и недоказуемое | 155 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 222, 276 | | Фейс Р. — Модальная логика | 38, 182, 185, 210, 246 | | Чёрч А. — Введение в математическую логику (том 1) | п. 20, п. 29, п. 90, п. 107, § 08, п. 152, § 15, п. 221, п. 244, § 29, п. 287, § 46, п. 427, п. 428, п. 436, § 49, п. 461, п. 478, п. 480, п. 588 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 143, 515 | | Карри Х.Б. — Основания математической логики | 40, 43, 47, 49, 52, 53, 60, 102, 131, 185, 434, 436, 489, 490, 500, 501, 504, 517 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 412 | | Клайн М. — Математика. Утрата определенности | 263, 266, 297, 380 | | Льюс Р.Д., Райфа Х. — Игры и решения. Введение и критический обзор | 78, 616 | | Клини С.К. — Введение в метаматематику | 47, 216, 224, 237 | | Клайн М. — Математика. Поиск истины | 249 | | Бурбаки Н. — Очерки по истории математики | 49 | | Клайн М. — Математика. Утрата определенности | 263, 266, 297, 380 | | Клини С.К. — Математическая логика | 44, 89, 458 |
|
|
|
|
О проекте