| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | 131114100 | ||
| 005 | Дата корректировки | 20240330151636.5 | ||
| 020 | a | ISBN | 5-354-00387-3 | |
| c | Цена, тираж | 56 р. | ||
| 080 | a | Индекс УДК | 510.6 | |
| 090 | a | Полочн. индекс | 510 | |
| x | Авторский знак | Д 72 | ||
| 091 | a | Индекс ББК (DOS) | Ю4 | |
| 097 | b | Оператор | *Еж* | |
| b | Оператор | *А* | ||
| 100 | 1_ | a | Автор | Драгалин А.Г. |
| 245 | 10 | a | Заглавие | Конструктивная теория доказательств и нестандартный анализ |
| 260 | a | Место издания | Москва | |
| b | Издательство | Едиториал УРСС | ||
| c | Дата издания | 2003 | ||
| 300 | a | Объем | 544 с. | |
| b | Иллюстрации/ тип воспроизводства | 1 л. портр. | ||
| 500 | a | Примечание | Прил. : с. 513 - 543 | |
| 504 | a | Библиография | Библиогр. : с. 520 - 529 | |
| 516 | 8_ | a | Прим. о типе комп. файла/ данных | Текст : непосредственный |
| 520 | 0_ | a | Аннотация | В настоящее издание включены труды А.Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционной логики. Статьи А.Г. Драгалина, избранные для публикации в этом томе, снабжены коментрариями профессора Стэнфордского университета Г.Е. Минца. |
| 653 | 0_ | a | Ключевые слова | Алгебраические модели |
| a | Ключевые слова | Арифметика | ||
| a | Ключевые слова | Интуиционистская теория доказательств | ||
| a | Ключевые слова | Интуиционистской логики | ||
| a | Ключевые слова | Логика | ||
| a | Ключевые слова | Математический интуиционизм | ||
| a | Ключевые слова | Математический конструктивизм | ||
| a | Ключевые слова | Нестандартный анализ | ||
| a | Ключевые слова | Теория доказательств | ||
| a | Ключевые слова | Философия математики | ||
| 655 | a | Жанр/ форма (устаревшее) | Н | |
| 901 | t | Тип документа | m | |
| 905 | a | Дата создания записи | 16.05.05 | |
| 952 | e | Факультет | *ИСФ* | |
| 990 | f | Даты поступлений (DOS) | 12.02.04 | |
| g | Размещение заказа (DOS) | дар РГГУ | ||
| h | N записи в КСУ для Б/У (DOS) | 20/2004 | ||
| j | Количество экземпляров (DOS) | 1 |