|
|
 |
| Результат поиска |
Поиск книг, содержащих: Аккерман
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 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. Книга 2 | 437, 438, 533, 535, 537 | | Клайн М. — Математика. Утрата определенности | 289 | | Клини С.К. — Математическая логика | 36, 106, 133, 153, 258, 307, 308, 311, 339, 341, 384, 451, 455 |
|
|
|
|
О проекте