|
|
 |
| Результат поиска |
Поиск книг, содержащих: Бернайс
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 9—12, 14, 16, 418, 439 | | Юшкевич А.П. — История математики. С древнейших времен до начала XIX столетия. В трёх томах. Том 1 | 93 | | Мендельсон Э. — Введение в математическую логику | 10, 65, 93, 96, 108, 111, 112, 131, 165, 177, 224—226, 276, 295, 296, 299 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 30, 32, 34, 43, 50, 56, 59, 60, 63, 69, 70, 71, 73, 75, 85, 92, 93, 94, 105, 106, 107, 109, 110, 115, 118, 120, 123, 125, 134, 135, 139, 140—152, 154, 155, 156, 157, 158, 166, 168, 170, 173, 182, 192, 210, 222, 223, 279, 290, 320, 322, 323, 329, 332, 333, 345, 348, 352, 359, 360, 365, 370, 374, 375, 384, 399, 425, 434, 435, 473, 501, 503, 504, 510, 517, 520, 530, 534 | | Клини С. — Математическая логика | 101, 188, 203, 225, 302, 306, 308, 315, 336, 351, 366, 383, 384, 385, 418, 451, 455 | | Манин Ю.И. — Доказуемое и недоказуемое | 21, 100 | | Куратовский К., Мостовский А. — Теория множеств | 65, 66, 96 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 261, 279, 387, 410 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 276, 372, 440, 472 | | Джонстон П.Т. — Теория топосов | 18 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 158 | | Мостовский А. — Конструктивные множества и их приложения | 37, 73 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 19, 32, 71 | | Фейс Р. — Модальная логика | 32, 306 | | Чёрч А. — Введение в математическую логику (том 1) | п. 28, п. 119, п. 168, п. 221, § 29, п. 246, п. 250, п. 258, п. 266, п. 267, п. 281, п. 292, п. 299, п. 351, п. 365, п. 409, п. 420, § 46, 46.10, § 49, п. 458, п. 460, п. 478, п. 519, § 55, п. 524, п. 526, п. 535, § 57, п. 561, п. 563 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 11, 15—16, 19, 187 | | Карри Х.Б. — Основания математической логики | 27, 43, 48, 50, 53, 54, 131, 187, 189, 238, 269, 270, 353, 355, 356, 358, 407, 433, 445, 456, 500, 501, 502, 503 | | Чандлер Б., Магнус В. — Развитие комбинаторной теории групп | 107 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 412 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 44, 127, 304, 356, 358 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 242, 245 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 168 | | Клини С.К. — Введение в метаматематику | 43, 53, 61, 67, 376, 386, 409, 420, 437, 439 | | Энгелер Э. — Метаматематика элементарной математики | 13, 16, 74, 97 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 435, 436, 534 | | Клайн М. — Математика. Утрата определенности | 281, 289, 290, 296, 297, 307, 308 | | Клини С.К. — Математическая логика | 101, 188, 203, 225, 302, 306, 308, 315, 336, 351, 366, 383, 384, 385, 418, 451, 455 |
|
|
|
|
О проекте