Приложение
для AndroidПолное описание
Кушнер, Б. А. Лекции по конструктивному математическому анализу / Б. А. Кушнер. - М. : Наука, 1973. - 447 с. : ил. - (Математическая логика и основания математики). - Библиогр.: с. 427-440 и в подстроч. примеч. Предм. указ.: с. 443-445. - 7800 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.15 | 510.25 |
Рубрики:
Конструктивная математика
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д4/15859)
Шифр в сводном ЭК: ad3212abe5f731376b648f0eaec4d2af
Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.
Фейс Р. Модальная логика / Р. Фейс ; Ред. Г. Е. Минц, 1974. - 520 с. - Текст : непосредственный.Кушнер Б.А. Лекции по конструктивному математическому анализу / Б. А. Кушнер, 1973. - 447 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный.Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный.Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный.Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный.Канке В.А. Философия математики, физики, химии, биологии : учебное пособие / В. А. Канке, 2011. - 368 с. - Текст : непосредственный.Перминов В.Я. Философия и основания математики / В. Я. Перминов, 2001. - 319 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный.Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный.Хаусдорф Ф. Теория множеств : монография / Ф. Хаусдорф, 2004. - 302 с. - Текст : непосредственный.Ермолаева Н.Н. Практические занятия по алгебре. Элементы теории множеств, теории чисел, комбинаторики. Алгебраические структуры : выставочные материалы / Н. Н. Ермолаева, В. А. Козынченко, Г. И. Курбатова, 2014. - 111 с. - Текст : непосредственный.Шевченко В.В. О счетных семействах конечных множеств / В. В. Шевченко, 2008. - 57 с. - Текст : непосредственный.Султанова Л.Б. Неформальная рационализация в математике / Л. Б. Султанова, 2001. - 194 с. - Текст : непосредственный.Волченская Т.В. Компьютерная математика : Учеб. пособие. Ч. 1 : Теория множеств и комбинаторика, 2003. - 88 с. - Текст : непосредственный.Медведев Ф.А. Ранняя история аксиомы выбора / Ф. А. Медведев, 2013. - 303 с. - Текст : непосредственный.Войтов А.Г. Математика и философия. Проблема математической компетентности общества / А. Г. Войтов, 2013. - 98 с. - Текст : непосредственный.Труды Московского семинара по философии математики / МГУ им. М. В. Ломоносова. Филос. фак. Кн. 6 : Математика и реальность / под ред. В. А. Бажанова [и др.], 2014. - 502 с. - Текст : непосредственный.Новиков А.Г. Философские проблемы возникновения и начального этапа развития математики / А. Г. Новиков, 1992. - 160 с. - Текст : непосредственный.Кановей В.Г. Современная теория множеств: абсолютно неразрешимые классические проблемы / В. Г. Кановей, В. А. Любецкий, 2013. - 377 с. - Текст : непосредственный.Варпаховский Ф.Л. Алгебра. Элементы теории множеств. Линейные уравнения и неравенства. Матрицы и определители : выставочные материалы / Ф. Л. Варпаховский, А. С. Солодовников ; Ред. О. А. Павлович, 1974. - 160 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Шевченко В.В. О некоторых возможностях прикладного использования конструктивной математики / В. В. Шевченко, 2010. - 40 с. - Текст : непосредственный.Владимиров А.А. Ступенчатая семантическая система / А. А. Владимиров, М. Н. Домбровский-Кабанченко, 2009. - 306 с. - Текст : непосредственный.Edwards H.M. Essays in constructive mathematics / H. M. Edwards, 2005 r=on-line. - Текст : электронный.Акимов О.Е. Конструктивная математика : Учеб. пособие / О.Е. Акимов, 2005. - 293 с. - Текст : непосредственный.Марков, А. А. Избранные труды. Т. 2 : Теория алгоритмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы, 2003. - 626 с. - Текст : непосредственный.Кушнер Б.А. Лекции по конструктивному математическому анализу / Б. А. Кушнер, 1973. - 447 с. - Текст : непосредственный.Плиско, Валерий Егорович. Лекции по конструктивной логике / В. Е. Плиско, 2021. - 247 с. - Текст (визуальный) : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽
Просмотр издания