|
|
 |
| Результат поиска |
Поиск книг, содержащих: Шпеккер
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 29, 71, 96, 97, 116, 149, 170, 180, 181, 363, 470, 507, 536 | | Мендельсон Э. — Введение в математическую логику | 225, 227, 302, 308 | | Клини С. — Математическая логика | 310, 465 | | Холево А.С. — Квантовая вероятность и квантовая статистика | 38, 130 | | Манин Ю.И. — Доказуемое и недоказуемое | 89, 97 | | Куратовский К., Мостовский А. — Теория множеств | 295, 296, 332 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 279, 303 | | Карри Х.Б. — Основания математической логики | 49, 53 | | Масси У., Столлингс Дж. — Алгебраическая топология. Введение. | 281, 332 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 402, 426 | | Мартин-Лёф П. — Очерки по конструктивной математике | 52, 67, 72 | | Тихомиров В.М. (ред.) — Международный конгресс математиков в Беркли 1986 г. | 217, 239 | | Клини С.К. — Математическая логика | 310, 465 |
|
|
|
|
О проекте