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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.203, 335
Мендельсон Э. — Введение в математическую логику300
Френкель А.А., Бар-Хиллел И. — Основания теории множеств29, 30, 57, 126, 181, 232, 235, 236, 237, 248, 289, 363, 410, 411, 414, 441, 463, 482, 510
Новиков П.С. — Конструктивная математическая логика с точки зрения классической92, 318
Клини С. — Математическая логика399, 400, 410, 456
Рихтмайер Р. — Принципы современной математической физики (том 2)331, 361
Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ409
Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость48
Кушнер Б.А. — Лекции по конструктивному математическому анализу10, 430
Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций16, 32, 116, 258
Фейс Р. — Модальная логика24, 129, 130, 132, 209, 223, 228, 246, 257, 277, 279, 302, 309, 323
Чёрч А. — Введение в математическую логику (том 1)п. 100
Карри Х.Б. — Основания математической логики5, 6, 7, 8, 14, 40, 51, 53, 54, 55, 62, 73, 78, 91, 98, 106, 113, 128, 133, 134, 137, 140, 141, 142, 169,184, 185, 223, 228, 236, 238, 239, 270, 349, 351, 353, 357, 358, 362, 396, 407, 409, 416, 418, 421, 423, 438, 443, 450, 500, 502, 507, 516, 517
Робинсон А. — Введение в теорию моделей и мета-математику алгебры359
Клайн М. — Математика. Утрата определенности379
Мартенс Л.К. (ред.) — Техническая энциклопедия. Том 15739, XI
Тихомиров В.М. (ред.) — Международный конгресс математиков в Беркли 1986 г.268, 275, 294
Клини С.К. — Введение в метаматематику140, 286, 406, 407, 434
Энгелер Э. — Метаматематика элементарной математики96, 98
Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2437
Хаусхолдер А.С. — Основы численного анализа251
Мартенс Л.К. (ред.) — Техническая энциклопедия. Том 11739
Клайн М. — Математика. Утрата определенности379
Клини С.К. — Математическая логика399, 400, 410, 456
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте