|
|
 |
| Результат поиска |
Поиск книг, содержащих: Шютте
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 203, 206, 211, 212 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 122, 188, 193, 353, 363, 470, 536 | | Мендельсон Э. — Введение в математическую логику | 165, 282, 291, 295, 309 | | Клини С. — Математическая логика | 308, 326, 420, 465 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 45 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 158 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 153, 188, 249 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 16, 266 | | Фейс Р. — Модальная логика | 10—12, 346, 421, 423 | | Чёрч А. — Введение в математическую логику (том 1) | п. 409, п. 430, п. 433, § 57, п. 562, п. 432, 46.23, п. 442, 46.24, § 47, п. 443, § 49, п. 462, п. 464, п. 479, п. 546 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 21, 163, 187—188, 532 | | Карри Х.Б. — Основания математической логики | 43, 47, 50, 51, 52, 54, 189, 357, 489, 490, 503 | | Матиясевич Ю.В. — Десятая проблема Гильберта | 37 | | Клини С.К. — Введение в метаматематику | 385, 423, 490 | | Энгелер Э. — Метаматематика элементарной математики | 33 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 437 | | Клини С.К. — Математическая логика | 308, 326, 420, 465 |
|
|
|
|
О проекте