| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | e91f9401c13c40d8bac9755822906a25 | ||
| 005 | Дата корректировки | 20240628124154.7 | ||
| 040 | a | Служба первич. каталог. | 10013504 | |
| 080 | a | Индекс УДК | 517.11 | |
| 090 | a | Полочн. индекс | 517 | |
| x | Авторский знак | Н 731 | ||
| 100 | 1_ | a | Автор | Новиков П.С. |
| d | Дата | 1901-1975 | ||
| 245 | 10 | a | Заглавие | Элементы математической логики |
| 250 | a | Основные сведения об издании | 2-е изд.,исправл. | |
| 260 | a | Место издания | Москва | |
| b | Издательство | Наука | ||
| c | Дата издания | 1973 | ||
| 300 | a | Объем | 399 с. | |
| 440 | _0 | a | Серия | Математическая логика и основания математики |
| 520 | 0_ | a | Аннотация | В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов. |
| 650 | 04 | a | Основная рубрика | МАТЕМАТИЧЕСКАЯ ЛОГИКА |
| 653 | 0_ | a | Ключевые слова | МАТЕМАТИЧЕСКАЯ ЛОГИКА-УЧЕБНИКИ И ПОСОБИЯ |
| 856 | 40 | u | URL | http://elibrary.mai.ru/MegaPro/Download/ToView/54506?idb=NewMAI2014 |
| 900 | a | Имя макрообъекта | обложка.Элементы математической логики . П.С. Новиков. 1973 | |
| 900 | a | Имя макрообъекта | Элементы математической логики . 2-изд, П.С. Новиков. 1973 | |
| 901 | t | Тип документа | m | |
| 952 | a | Тип литературы для КСУ ВШ | КУчР | |
| a | Тип литературы для КСУ ВШ | ЭУчР | ||
| c | Вид литературы | учебник |