Представление документа в формате MARC21

Поле Инд. ПП Название Значение
Тип записи a
Библиографический уровень b
001 Контрольный номер RU/IS/BASE/298726424
005 Дата корректировки 20240802111620.0
008 Кодируемые данные 20090619
040 b Код языка каталог. rus
e Правила каталог. PSBO
041 0_ a Код языка текста rus
084 a Индекс другой классификации/Индекс ББК 87.25; 22.1в
100 1_ a Автор Михайлова Н. В.
245 10 a Заглавие Системная триада философско-методологических программ обоснования математики
504 a Библиография Лит. в примеч. в конце статьи
520 0_ a Аннотация "Используется системный подход к программам обоснования математики, который помогает убедиться в том, что глубокие противоречия в развитой математической теории маловероятны. В обосновании математики системная триада означает, что никакая часть математики не обладает особыми привилегиями, поскольку каждая известная программа обоснования математики имеет особую надежность своих доказательств, свободных от противоречий."
650 04 a Основная рубрика математика
a Основная рубрика методология науки
a Основная рубрика философия
a Основная рубрика философия науки
653 1_ a Ключевые слова логика
a Ключевые слова математическая логика
a Ключевые слова математическая теория
a Ключевые слова математические доказательства
a Ключевые слова обоснование математики
a Ключевые слова философия математики
a Ключевые слова философско-методологические программы
773 0_ t Заглавие источника Философия науки
d Дата издания источника 2009
g Прочая информация № 1 (40). - С. 104 - 117
w Контрольный № источника RU/IS/BASE/294325620
901 t Тип документа b