|
|
 |
| Результат поиска |
Поиск книг, содержащих: Сикорский
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 203 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 135, 275, 279, 331, 332, 451, 455, 459, 463, 524, 527 | | Энгелькинг Р. — Общая топология | 620 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 73, 82, 85, 92, 169, 212, 320 | | Мендельсон Э. — Введение в математическую логику | 18, 75, 78, 112, 113, 304, 305 | | Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 2) Спектральная теория | 1016 | | Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 3) Спектральные операторы | 218, 635, 636 | | Клини С. — Математическая логика | 341, 461 | | Куратовский К., Мостовский А. — Теория множеств | 41, 164, 287 | | Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств | 233 | | Куратовский К. — Топология (том 2) | 15, 39, 604 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 79, 83, 95, 153, 246 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 16, 264 | | Фейс Р. — Модальная логика | 493, 506 | | Карри Х.Б. — Основания математической логики | 185, 438, 498, 517 | | Брычков Ю.А., Прудников А.П. — Интегральные преобразования обобщенных функций | 16, 28 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 44, 45, 368 | | Паламодов В.П., Буслаев В.С. — Обобщенные функции и гармонический анализ | 46, 64, 87, 126, 129 | | Линдон Р. — Заметки по логике | 64 | | Шенфилд Дж. — Степени неразрешимости | 163, 179 | | Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 1) Общая теория. | 649, 838 | | Клини С.К. — Введение в метаматематику | 354, 429 | | Пич А., Лизоркин П.И. (ред.) — Операторные идеалы | 445, 504 | | Харрис Т., Севастьянов Б.А. (пер.), Штейнпресс Л.Б. (ред.) — Теория ветвящихся случайных процессов | 83 | | Клини С.К. — Математическая логика | 341, 461 |
|
|
|
|
О проекте