|
|
 |
| Результат поиска |
Поиск книг, содержащих: Вайсберг
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 544 | | Мендельсон Э. — Введение в математическую логику | 93, 297 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 275, 277, 428 | | Хокинг С., Израэль В. — Общая теория относительности | 65, 66 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 16, 115 | | Фейс Р. — Модальная логика | 207, 425, 501 | | Чёрч А. — Введение в математическую логику (том 1) | § 25, п. 210, § 26, п. 211, п. 212, п. 219, п. 220, § 29, п. 254, п. 259, п. 262, п. 263, п. 269, п. 280, п. 288, п. 289, п. 298 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 101. 160, 163 | | Карри Х.Б. — Основания математической логики | 352, 354, 355, 356, 358, 397, 433, 434, 517 | | Мосс Т., Баррел Г., Эллис Б. — Полупроводниковая оптоэлектроника | 224 | | Клини С.К. — Введение в метаматематику | 129 |
|
|
|
|
О проекте