|
|
 |
| Результат поиска |
Поиск книг, содержащих: Кангер
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 203 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 289, 346, 440 | | Клини С. — Математическая логика | 341, 365, 456 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 296—298, 313 | | Фейс Р. — Модальная логика | 197, 199, 201, 203, 209, 257, 279, 302, 437, 438 | | Карри Х.Б. — Основания математической логики | 408, 433, 434, 517 | | Клини С.К. — Математическая логика | 341, 365, 456 |
|
|
|
|
О проекте