| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | 2460b531c2a948cbbf4c91c6be0a51fd | ||
| 005 | Дата корректировки | 20240628120701.0 | ||
| 040 | a | Служба первич. каталог. | 10013504 | |
| 080 | a | Индекс УДК | 517.11 | |
| 090 | a | Полочн. индекс | 51 | |
| x | Авторский знак | Н 731 | ||
| 100 | 1_ | a | Автор | Новиков П.С. |
| d | Дата | 1901-1975 | ||
| 245 | 10 | a | Заглавие | Элементы математической логики |
| 260 | a | Место издания | Москва | |
| b | Издательство | Физматгиз | ||
| c | Дата издания | 1959 | ||
| 300 | a | Объем | 400 с. | |
| 440 | _0 | a | Серия | Математическая логика и основания математики |
| 520 | 0_ | a | Аннотация | В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов. |
| 650 | 04 | a | Основная рубрика | МАТЕМАТИЧЕСКАЯ ЛОГИКА |
| 653 | 0_ | a | Ключевые слова | МАТЕМАТИЧЕСКАЯ ЛОГИКА-УЧЕБНИКИ И ПОСОБИЯ |
| 900 | a | Имя макрообъекта | обложка.Элементы математической логики . П.С. Новиков,1959 | |
| 901 | t | Тип документа | m | |
| 952 | a | Тип литературы для КСУ ВШ | КНР | |
| c | Вид литературы | монография |