Пошуковий запит: (<.>U=В120$<.>) |
Загальна кількість знайдених документів : 23
Представлено документи з 1 до 20
|
| | |
| 1. | Болибрух А. А. Проблемы Гильберта (100 лет спустя) [Електронний ресурс] / А. А. Болибрух. - М. : Изд-во МЦНМО, 1999. - 24 с. - (Библиотека "Математическое просвещение" ; вып. 2)
|
| 2. | Фреге Г. Основоположения арифметики. Логико-математическое исследование о понятии числа [Електронний ресурс] : пер. с нем. / Г. Фреге. - Томск : Водолей, 2000. - 64 с.
|
| 3. | Фор Р. Современная математика [Електронний ресурс] : пер. с фр. / Р. Фор, А. Кофман, М. Дени-Папен. - М. : Мир, 1966. - 272 с.
|
| 4. | Соминский И. С. Метод математической индукции [Електронний ресурс] / И. С. Соминский. - М. : Наука, 1965. - 60 с. - (Популярные лекции по математике)
|
| 5. | Успенский В. А. Теорема Гёделя о неполноте [Електронний ресурс] / В. А. Успенский. - М. : Наука, 1982. - 112 с. - (Популярные лекции по математике)
|
| 6. | Робинсон А. Введение в теорию моделей и метаматематику алгебры [Електронний ресурс] / А. Робинсон. - М. : Наука, 1967. - 376 с. - (Математическая логика и основания математики)
|
| 7. | Расёва Е. Математика метаматематики [Електронний ресурс] : пер. с англ. / Е. Расёва, Р. Сикорский. - М. : Наука, 1972. - 591 с. - (Математическая логика и основания математики)
|
| 8. | Пойа Д. Математика и правдоподобные рассуждения [Електронний ресурс] : пер. с англ. / Д. Пойа. - М. : Наука, 1975. - 462 с.
|
| 9. | Гейтинг А. Интуиционизм [Електронний ресурс] : пер. с англ. / А. Гейтинг. - М. : Мир, 1965. - 200 с.
|
| 10. | Феликс Л. Элементарная математика в современном изложении [Електронний ресурс] / Л. Феликс. - М. : Физматлит, 1967. - 494 с.
|
| 11. | Феферман С. Числовые системы [Електронний ресурс] : основания алгебры и анализа : пер. с англ. / С. Феферман. - М. : Наука, 1971. - 440 с.
|
| 12. | Клини С. К. Основания интуиционистской математики с точки зрения рекурсивных функций [Електронний ресурс] : пер. с англ. / С. К. Клини, Р. Ю. Весли. - М. : Наука, 1978. - 271 с.
|
| 13. | Голдблатт Р. Топосы. Категорный анализ логики [Електронний ресурс] : пер. с англ. / Р. Голдблатт. - М. : Мир, 1983. - 487 с.
|
| 14. | Кановей В. Г. Аксиома выбора и аксиома детерминированности [Електронний ресурс] / В. Г. Кановей. - М. : ФИЗМАТЛИТ, 1984. - 65 с. - (Проблемы науки и технического прогресса)
|
| 15. | Соминский И. С. О математической индукции [Електронний ресурс] / И. С. Соминский, Л. И. Головина, И. М. Яглом. - М. : Наука, 1967. - 144 с.
|
| 16. | Гильберт Д. Основания математики. Теория доказательств [Електронний ресурс] : пер. с нем. / Д. Гильберт, П. Бернайс. - М. : Наука, 1982. - 652 с. - (Математическая логика и основания математики)
|
| 17. | Гильберт Д. Основания математики логические исчисления и формализация арифметики [Електронний ресурс] : пер. с нем. / Д. Гильберт, П. Бернайс. - М. : Наука, 1979. - 652 с. - (Математическая логика и основания математики)
|
| 18. | Грассман Г. Логика и философия математики [Електронний ресурс] / Г. Грассман, Р. Грассман. - М. : Наука, 2008. - 503 с. - (Памятники философской мысли)
|
| 19. | Пархоменко А. С. Что такое линия [Електронний ресурс] / А. С. Пархоменко. - М. : Государственное издательство технико-теоретической литературы, 1954. - 140 с.
|
| 20. | Проблемы Гильберта [Електронний ресурс] / под общ ред. П. С. Александрова. - М. : ИСФАРА, 2000. - 238 с.
|
| | |
Простий пошук
Віртуальна довідка