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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Интуиционизм



КнигаСтраницы для поиска
Мендельсон Э. — Введение в математическую логику10, 11
Дойч Д. — Структура реальности166, 235—237, 260
Манин Ю.И. — Доказуемое и недоказуемое149
Курант Р., Роббинс Г. — Что такое математика?257
Пенроуз Р. — Новый ум короля: о компьютерах, мышлении и законах физики102—104
Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.71
Карри Х.Б. — Основания математической логики28
Феферман С. — Числовые системы. Основания алгебры и анализа20
Марков А.А., Нагорный Н.М. — Теория алгорифмов38
Клайн М. — Математика. Утрата определенности267—283
Линдон Р. — Заметки по логике51, 52
Виноградов И.М. — Математическая энциклопедия. Предметный указательII-637—643
Пенроуз Р. — Тени разума. В поисках науки о сознании146, 160
Арнольд И.В. — Теоретическая арифметика35
Панов М.И. — Методические проблемы интуиционистской математики4—11, 13—15, 17, 21—24, 26, 30, 34—36, 41—47, 50—52, 54, 55, 60, 63, 68, 71, 73, 80, 81, 86, 88, 92, 94, 95, 97, 120, 121, 123, 124, 126, 127, 130, 131, 133, 134, 138, 139, 144, 145, 147, 150, 155, 160, 161, 163, 164, 167, 169, 171, 178, 181, 183, 188, 189, 191
Перминов В.Я. — Философия и основания математики186
Гастев Ю.А. — Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования9, 70
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию94, 212
Гетманова А.Д. — Учебник по логике269, 270
Бунге М. — Причинность. Место принципа причинности в современной науке39, 161, 495, 340
Курант Р., Роббинс Г. — Что такое математика? (Элементарный очерк идей и методов)241
Клайн М. — Математика. Утрата определенности267—283
Лукомская А.М. — Основные иностранные библиографические источники по математике и механике 1931-1957148, 162, 164, 165
Мендельсон Э. — Введение в математическую логику10, 11
Курант Р., Роббинс Г. — Что такое математика257
Жолков С.Ю. — Математика и информатика для гуманитариев464—466
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте