|
|
 |
| Результат поиска |
Поиск книг, содержащих: Лёвенгейм
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 235 | | Мендельсон Э. — Введение в математическую логику | 79, 92, 301 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 29, 33, 134, 135, 136, 141, 259, 353, 373, 412, 413, 446, 504, 516 | | Клини С. — Математическая логика | 272, 351, 372, 383—385, 411, 414, 458 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 67, 102, 199, 215 | | Джонстон П.Т. — Теория топосов | 247 | | Фейс Р. — Модальная логика | 235, 249 | | Чёрч А. — Введение в математическую логику (том 1) | § 47, § 49, п. 455, п. 475, п. 504 | | Карри Х.Б. — Основания математической логики | 25, 149, 185, 189, 456 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 8, 41, 44, 362 | | Линдон Р. — Заметки по логике | 85—88 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 202, 205 | | Клини С.К. — Введение в метаматематику | 125, 349, 378, 385 | | Клини С.К. — Математическая логика | 272, 351, 372, 383—385, 411, 414, 458 |
|
|
|
|
О проекте