|
|
 |
| Результат поиска |
Поиск книг, содержащих: Расёва
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 203 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 135, 225, 247, 255, 275, 279 281, 331, 332, 447, 451, 455, 459, 463, 524 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 73, 82, 85, 92, 169, 212, 320 | | Мендельсон Э. — Введение в математическую логику | 75, 78, 111, 112, 304 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 18 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 79, 83, 95, 153, 246 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 16, 116, 263 | | Фейс Р. — Модальная логика | 215, 493, 506 | | Чёрч А. — Введение в математическую логику (том 1) | 25.5, § 29, п. 248 | | Карри Х.Б. — Основания математической логики | 185, 481, 498, 517 | | Линдон Р. — Заметки по логике | 64 | | Клини С.К. — Введение в метаматематику | 345, 429 | | Клини С.К. — Математическая логика | 341, 461 |
|
|
|
|
О проекте