|
|
 |
| Результат поиска |
Поиск книг, содержащих: Весли
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 511 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 319 | | Клини С. — Математическая логика | 311, 333, 361, 397, 458 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 7, 9, 15, 16, 104, 108, 125, 243, 245, 256 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 15 | | Карри Х.Б. — Основания математической логики | 188 | | Мартин-Лёф П. — Очерки по конструктивной математике | 88, 128 | | Клини С.К. — Математическая логика | 311, 333, 361, 397, 458 |
|
|
|
|
О проекте