|
|
 |
| Результат поиска |
Поиск книг, содержащих: Петер
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 75 | | Мендельсон Э. — Введение в математическую логику | 273, 303 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 29, 278, 361, 363, 453, 454, 523 | | Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 2) Спектральная теория | 93, 96, 309, 311, 1007 | | Рихтмайер Р. — Принципы современной математической физики (том 2) | 88, 362 | | Горбацевич В.В., Онищик А.Л. — Группы Ли преобразований | 165 | | Винберг Э.Б., Онищик А.Л. — Группы Ли и алгебры Ли - 1: Основы теории групп Ли. | 165 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 326 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 108, 204, 303, 386, 409 | | Неретин Ю.А. — Представления алгебры Вирасоро и афинных алгебр | 9, 66, 69 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 25 | | Наймарк М.А. — Нормированные кольца | 511, 635 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 18, 436 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 6, 11, 85 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 13, 26, 1 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 401, 407—408, 411, 420, 510 | | Карри Х.Б. — Основания математической логики | 187 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 12, 425 | | Кириллов А.А. — Введение в теорию представлений и некоммутативный гармонический анализ | 9, 66, 69 | | Хелгасон С. — Дифференциальная геометрия и симметрические пространства | 508 | | Раус Е.Дж. — Динамика системы твердых тел (том 2) | 398 | | Иосида К. — Функциональный анализ | 455 | | Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 1) Общая теория. | 786, 829 | | Клини С.К. — Введение в метаматематику | 201, 207, 242, 243, 244, 321, 350, 420 | | Хьюитт Е., Росс К. — Абстрактный гармонический анализ. Том 1 | 274, 361, 397, 449, 450, 477 |
|
|
|
|
О проекте