|
|
 |
| Результат поиска |
Поиск книг, содержащих: Фейс
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 29, 237, 270, 433, 441, 463, 508 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 92, 108, 320 | | Мендельсон Э. — Введение в математическую логику | 300 | | Клини С. — Математическая логика | 65, 463 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 269 | | Гельфанд С.И., Манин Ю.И. — Гомологическая алгебра | 57 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 32, 258 | | Фейс Р. — Модальная логика | 9—12, 15, 16, 137, 147, 196, 217, 255, 303, 425, 428, 429, 433, 434, 437, 438, 471, 473, 487, 498 | | Чёрч А. — Введение в математическую логику (том 1) | п. 100 | | Карри Х.Б. — Основания математической логики | 14, 40, 43, 51, 61, 77, 79, 110, 111, 130—137, 141, 144, 163, 169, 171, 179, 183, 235, 348, 358, 432, 443, 450, 517 | | Кострикин А.И., Шафаревич И.Р. — Алгебра - 5. Гомологическая алгебра | 57 | | Клини С.К. — Математическая логика | 65, 463 |
|
|
|
|
О проекте