Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Бернайс



КнигаСтраницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.9—12, 14, 16, 418, 439
Юшкевич А.П. — История математики (том 1). С древнейших времен до начала XIX столетия93
Мендельсон Э. — Введение в математическую логику10, 65, 93, 96, 108, 111, 112, 131, 165, 177, 224—226, 276, 295, 296, 299
Френкель А.А., Бар-Хиллел И. — Основания теории множеств30, 32, 34, 43, 50, 56, 59, 60, 63, 69, 70, 71, 73, 75, 85, 92, 93, 94, 105, 106, 107, 109, 110, 115, 118, 120, 123, 125, 134, 135, 139, 140—152, 154, 155, 156, 157, 158, 166, 168, 170, 173, 182, 192, 210, 222, 223, 279, 290, 320, 322, 323, 329, 332, 333, 345, 348, 352, 359, 360, 365, 370, 374, 375, 384, 399, 425, 434, 435, 473, 501, 503, 504, 510, 517, 520, 530, 534
Клини С. — Математическая логика101, 188, 203, 225, 302, 306, 308, 315, 336, 351, 366, 383, 384, 385, 418, 451, 455
Манин Ю.И. — Доказуемое и недоказуемое21, 100
Куратовский К., Мостовский А. — Теория множеств65, 66, 96
Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ261, 279, 387, 410
Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость276, 372, 440, 472
Джонстон П.Т. — Теория топосов18
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции158
Мостовский А. — Конструктивные множества и их приложения37, 73
Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций19, 32, 71
Фейс Р. — Модальная логика32, 306
Чёрч А. — Введение в математическую логику (том 1)п. 28, п. 119, п. 168, п. 221, § 29, п. 246, п. 250, п. 258, п. 266, п. 267, п. 281, п. 292, п. 299, п. 351, п. 365, п. 409, п. 420, § 46, 46.10, § 49, п. 458, п. 460, п. 478, п. 519, § 55, п. 524, п. 526, п. 535, § 57, п. 561, п. 563
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.11, 15—16, 19, 187
Карри Х.Б. — Основания математической логики27, 43, 48, 50, 53, 54, 131, 187, 189, 238, 269, 270, 353, 355, 356, 358, 407, 433, 445, 456, 500, 501, 502, 503
Чандлер Б., Магнус В. — Развитие комбинаторной теории групп107
Феферман С. — Числовые системы. Основания алгебры и анализа412
Робинсон А. — Введение в теорию моделей и мета-математику алгебры44, 127, 304, 356, 358
Булос Дж., Джеффри Р. — Вычислимость и логика242, 245
Столл Р.Р. — Множества. Логика. Аксиоматические теории168
Клини С.К. — Введение в метаматематику43, 53, 61, 67, 376, 386, 409, 420, 437, 439
Энгелер Э. — Метаматематика элементарной математики13, 16, 74, 97
Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2435, 436, 534
Клайн М. — Математика. Утрата определенности281, 289, 290, 296, 297, 307, 308
Клини С.К. — Математическая логика101, 188, 203, 225, 302, 306, 308, 315, 336, 351, 366, 383, 384, 385, 418, 451, 455
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте