|
|
 |
| Результат поиска |
Поиск книг, содержащих: Генцен
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 11, 13, 203, 212, 437, 439, 450, 454, 455, 544, 612, 622, 624 | | Мендельсон Э. — Введение в математическую логику | 165, 282, 295, 298 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 217, 223, 277, 278, 279, 287, 289, 295, 370, 371, 387, 433 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 82—84, 127, 318 | | Клини С. — Математическая логика | 50, 59, 154, 307, 308, 329, 337, 365, 395, 396, 400, 402, 409, 410, 453, 456 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 7, 11, 292, 313 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 9, 26, 35, 45, 223, 228, 241 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 16, 115, 116, 117 | | Фейс Р. — Модальная логика | 193, 277, 279, 337, 340, 343, 420 | | Чёрч А. — Введение в математическую логику (том 1) | § 26, п. 212, § 29, п. 270, п. 294, п. 295, п. 296, п. 365, п. 366, п. 372, п. 462, п. 509 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 14 | | Мартин-Лёф П. — Очерки по конструктивной математике | 94, 100 | | Клайн М. — Математика. Утрата определенности | 308, 309 | | Линдон Р. — Заметки по логике | 64, 90, 102—105, 107 | | Клини С.К. — Введение в метаматематику | 40, 67, 84, 93, 129, 202, 389, 393, 400, 406, 407, 409, 421, 422, 423, 424, 437 | | Клайн М. — Математика. Утрата определенности | 308, 309 | | Клини С.К. — Математическая логика | 50, 59, 154, 307, 308, 329, 337, 365, 395, 396, 400, 402, 409, 410, 453, 456 |
|
|
|
|
О проекте