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

square Второй курс

square Третий курс

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

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

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

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

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



КнигаСтраницы для поиска
Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.11—13, 15, 51, 93, 124, 157, 250, 260—262, 338, 454, 546, 624, 630, 634, 643
Мендельсон Э. — Введение в математическую логику49, 273, 281, 282, 293, 299
Френкель А.А., Бар-Хиллел И. — Основания теории множеств29, 30, 34, 36, 42, 48, 59, 121, 161, 215, 222, 234, 270, 275, 283, 363, 370, 373, 378, 387, 393, 394, 423, 435, 471, 502, 514, 519, 525
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ414, 423-425
Шеннон К. — Работы по теории информации и кибернетике13
Клини С. — Математическая логика36, 106, 133, 153, 258, 307, 308, 311, 339, 341, 384, 451, 455
Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем2, 49, 268, 270
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы473
Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ261, 410
Колмогоров А.Н., Юшкевич А.П. — Математика XIX века (том 1): математическая логика, алгебра, теория чисел, теория вероятностей241
Препарата Ф., Шеймос М. — Вычислительная геометрия: введение24
Стройк Д.Я. — Краткий очерк истории математики220
Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование202, 232
Розенбергер Ф. — История физики (том 3, выпуск 1). История физики за последнее (XIX) столетие93
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции151, 182
Франк-Каменецкий Д.А. — Диффузия и теплопередача в химической кинетике154 (3), 408, (5)
Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций13
Фейс Р. — Модальная логика32, 33, 204
Чёрч А. — Введение в математическую логику (том 1)п. 28, п. 125, п. 210, п. 299, § 29, п. 430, п. 432, п. 435, п. 447, § 49, п. 458, п. 459, п. 468, п. 503, п. 505, п. 507, п. 524, п. 555, п. 557, п. 579, п. 588
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.19, 20, 187—188, 406—408, 509
Карри Х.Б. — Основания математической логики43, 47, 48, 51, 53, 359, 360, 417, 489, 501, 503
Робинсон А. — Введение в теорию моделей и мета-математику алгебры358
Клайн М. — Математика. Утрата определенности289
Гренандер У. — Лекции по теории образов (Том 2. Анализ образов)291, 427
Розенбергер Ф. — История физики (том 3, выпуск 2). История физики за последнее (XIX) столетие$III^1$, 93
Венкатараман К., Вульфсон Н.С. (ред.) — Химия синтетических красителей (т. 2)1400
Столл Р.Р. — Множества. Логика. Аксиоматические теории173
Клини С.К. — Введение в метаматематику53, 184, 242, 244, 385, 386, 389, 409, 417, 423
Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2437, 438, 533, 535, 537
Клайн М. — Математика. Утрата определенности289
Клини С.К. — Математическая логика36, 106, 133, 153, 258, 307, 308, 311, 339, 341, 384, 451, 455
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте