|
|
 |
| Результат поиска |
Поиск книг, содержащих: Метаматематика
| Книга | Страницы для поиска | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 321 | | Мендельсон Э. — Введение в математическую логику | 39 | | Клини С. — Математическая логика | 233, 239—242, 258, 299 | | Эдельман С.Л. — Математическая логика | 126 | | Клейн Ф. — Элементарная математика с точки зрения высшей.Том 1: Арифметика. Алгебра. Анализ | 383—384 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 105 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 73 | | Феферман С. — Числовые системы. Основания алгебры и анализа | 421 | | Клайн М. — Математика. Утрата определенности | 290 | | Линдон Р. — Заметки по логике | 16 | | Александров П.С., Маркушевич А.И., Хинчин А.Я. — Энциклопедия элементарной математики. Том IV. Геометрия | 205 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | III—571, 652 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 184 | | Арнольд И.В. — Теоретическая арифметика | 38 | | Клейн Ф. — Элементарная математика с точки зрения высшей, том 1 | 383—384 | | Панов М.И. — Методические проблемы интуиционистской математики | 68 | | Асмус В.Ф. — Проблема интуиции в философии и математике | 265, 266, 281 | | Клайн М. — Математика. Утрата определенности | 290 | | Клини С.К. — Математическая логика | 233, 239—242, 258, 299 | | Берг А.И. (ред.), Бирюков Б.В. (ред.), Геллер Е.С. (ред.) — Управление, Информация, Интеллект | 47 | | Мендельсон Э. — Введение в математическую логику | 39 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 184 | | Клейн Ф. — Элементарная математика с точки зрения высшей. Арифметика. Алгебра. Анализ | 383—384 |
|
|
|
|
О проекте