|
|
 |
| Результат поиска |
Поиск книг, содержащих: Шмульян
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 367, 368, 469, 521, 536 | | Мендельсон Э. — Введение в математическую логику | 152, 213, 277, 308 | | Клини С. — Математическая логика | 292, 302, 330, 465 | | Манин Ю.И. — Вычислимое и невычислимое | 75 | | Манин Ю.И. — Доказуемое и недоказуемое | 6, 21, 23, 78, 80, 85 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 48, 127, 246, 277 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 89, 111, 149 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 32, 266 | | Карри Х.Б. — Основания математической логики | 52, 184 | | Манин Ю.И. — Вычислимое и невычислимое | 75 | | Клини С.К. — Математическая логика | 292, 302, 330, 465 |
|
|
|
|
О проекте