|
|
 |
| Результат поиска |
Поиск книг, содержащих: Гейтинг
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 428, 436, 544, 545 | | Мендельсон Э. — Введение в математическую логику | 10, 52, 298 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 8, 247, 263, 274, 275—278, 289, 290, 292, 297, 304, 305, 309, 310, 311, 313, 314, 315, 316, 379, 411, 432, 436, 465, 477, 478, 495, 506, 510, 512, 522, 534 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 48, 53, 54, 318 | | Клини С. — Математическая логика | 194, 281, 453 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 410 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 11, 23, 32, 34, 36, 427, 428 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 7, 8, 20, 34, 35, 40, 74, 75, 164, 241 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 9, 10, 12, 13, 14, 15, 16, 17, 18, 66, 68, 82, 93, 13, 116, 184, 185, 187, 194, 197, 198, 202, 203, 208, 209, 213, 239, 241, 256 | | Чёрч А. — Введение в математическую логику (том 1) | § 26, п. 209, п. 210, § 29, п. 283 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 102 | | Карри Х.Б. — Основания математической логики | 29, 37, 54, 190, 242, 269, 351, 353, 355, 432, 433, 434 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 38, 314, 422 | | Мартин-Лёф П. — Очерки по конструктивной математике | 52, 58, 113 | | Клайн М. — Математика. Утрата определенности | 282, 322, 374 | | Линдон Р. — Заметки по логике | 52 | | Клини С.К. — Введение в метаматематику | 52, 53, 57, 129, 151, 430, 434, 439, 449, 493 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 434 | | Налимов В.В. — Вероятностная модель языка | 166, 268 | | Клайн М. — Математика. Утрата определенности | 282, 322, 374 | | Клини С.К. — Математическая логика | 194, 281, 453 | | Кольман Э. — Предмет и метод современной математики | 154 |
|
|
|
|
О проекте