|
|
 |
| Результат поиска |
Поиск книг, содержащих: Яськовский
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 520 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 223, 278, 281, 451, 470, 499 | | Мендельсон Э. — Введение в математическую логику | 52, 309 | | Клини С. — Математическая логика | 106, 155, 402, 465 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 16, 115 | | Фейс Р. — Модальная логика | 220 | | Чёрч А. — Введение в математическую логику (том 1) | п. 177, п. 217, § 29, п. 293, 29.4 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 143 | | Карри Х.Б. — Основания математической логики | 356, 437, 490, 501 | | Клини С.К. — Введение в метаматематику | 91, 129 | | Клини С.К. — Математическая логика | 106, 155, 402, 465 |
|
|
|
|
О проекте