|
|
 |
| Результат поиска |
Поиск книг, содержащих: Пресбургер
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Языки и исчисления | 114, 224 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 373, 488 | | Мендельсон Э. — Введение в математическую логику | 131, 281, 304 | | Клини С. — Математическая логика | 258, 460 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 289, 440 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 365 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 290 | | Клини С.К. — Введение в метаматематику | 184, 361, 419 | | Клини С.К. — Математическая логика | 258, 460 |
|
|
|
|
О проекте