|
|
 |
| Результат поиска |
Поиск книг, содержащих: Фреге
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 17 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 13, 15, 16, 30, 47, 177, 185, 199, 200, 204, 206, 320, 331, 333, 352, 464, 519 | | Верещагин Н.К., Шень А. — Языки и исчисления | 5 | | Мендельсон Э. — Введение в математическую логику | 307 | | Клини С. — Математическая логика | 50, 64, 65, 218, 239, 339, 464 | | Манин Ю.И. — Доказуемое и недоказуемое | 10 | | Куратовский К., Мостовский А. — Теория множеств | 69 | | Кантор Г. — Труды по теории множеств | 242, 325, 326, 390, 393 | | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 84 | | Роджерс Х. — Теория рекурсивных функций и эффективная вычислимость | 60 | | Колмогоров А.Н., Юшкевич А.П. — Математика XIX века (том 1): математическая логика, алгебра, теория чисел, теория вероятностей | 21, 38, 242 | | Стройк Д.Я. — Краткий очерк истории математики | 220, 232 | | Медведев Ф.А. — Французская школа теории функций и множеств на рубеже XIX - XX вв. | 115, 122 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 90 | | Чёрч А. — Введение в математическую логику (том 1) | § 01, п. 5, п. 7, п. 12, п. 13, п. 14, п. 16, п. 17, п. 20, § 02, п. 32, п. 33, п. 37, § 03, § 04, п. 65, п. 66, п. 67, п. 71, п. 74, п. 103, п. 114, § 08, п. 136, п. 139, п. 225, § 29, § 49, п. 502, п. 545 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 11—12, 14, 33, 39, 43, 95, 103, 121, 211 | | Карри Х.Б. — Основания математической логики | 21, 28, 32, 46, 47, 48, 102, 131, 133, 140, 188, 238, 352, 355, 417, 434, 439 | | Вебер И., Вельштейн И. — Энциклопедия элементарной математики. Алгебра и анализ (книга 1) | 578 | | Метакидес Г., Нероуд А. — Принципы логики и логического программирования | 48 | | Клайн М. — Математика. Утрата определенности | 216—220, 222, 226, 229, 238, 248—250, 253, 254, 259, 267, 298 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 329 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 71, 167 | | Клини С.К. — Введение в метаматематику | 16, 45, 60, 83, 224 | | Энгелер Э. — Метаматематика элементарной математики | 13—15, 93, 98 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 46 | | Налимов В.В. — Вероятностная модель языка | 4, 28, 37, 66, 82, 97, 109, 141, 160, 162 | | Леонов В.П. — Современные проблемы информатики. Введение в семиотику информационных технологий | 18, 67 | | Клайн М. — Математика. Утрата определенности | 216—220, 222, 226, 229, 238, 248—250, 253, 254, 259, 267, 298 | | Клини С.К. — Математическая логика | 50, 64, 65, 218, 239, 339, 464 | | Кольман Э. — Предмет и метод современной математики | 40, 257 |
|
|
|
|
О проекте