| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | _ | Контрольный номер | RU\infra-m\znanium\bibl\395379 | |
| 005 | _ | Дата корректировки | 20250915104221.6 | |
| 008 | Кодируемые данные | 191206s2016 RU g rus u | ||
| 020 | a | ISBN | 978-5-9221-1301-4 | |
| 040 | a | Служба первич. каталог. | Общество с ограниченной ответственностью «ЗНАНИУМ» | |
| 041 | a | Код языка текста | rus | |
| 044 | a | Код страны публикации | RU | |
| 080 | a | Индекс УДК | 510.6(075.8) | |
| 084 | 2 | Источник индекса | rubbk | |
| a | Индекс другой классификации/Индекс ББК | 22.12 | ||
| 084 | 2 | Источник индекса | okso | |
| a | Индекс другой классификации/Индекс ББК | 01.03.01 | ||
| 084 | 2 | Источник индекса | okso | |
| a | Индекс другой классификации/Индекс ББК | 02.03.01 | ||
| 084 | 2 | Источник индекса | okso | |
| a | Индекс другой классификации/Индекс ББК | 01.03.02 | ||
| 084 | 2 | Источник индекса | okso | |
| a | Индекс другой классификации/Индекс ББК | 03.03.01 | ||
| 084 | 2 | Источник индекса | okso | |
| a | Индекс другой классификации/Индекс ББК | 03.03.02 | ||
| 084 | 2 | Источник индекса | okso | |
| a | Индекс другой классификации/Индекс ББК | 03.03.03 | ||
| 084 | 2 | Источник индекса | okso | |
| a | Индекс другой классификации/Индекс ББК | 01.03.03 | ||
| 084 | 2 | Источник индекса | okso | |
| a | Индекс другой классификации/Индекс ББК | 01.03.04 | ||
| 100 | 1_ | a | Автор | Ершов Юрий Леонидович |
| q | Полное имя | Юрий Леонидович | ||
| 245 | a | Заглавие | Математическая логика | |
| 250 | g | испр. | ||
| a | Основные сведения об издании | 6 | ||
| 260 | a | Место издания | Москва | |
| b | Издательство | Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ) | ||
| c | Дата издания | 2011 | ||
| 300 | a | Объем | 356 с. | |
| 520 | a | Аннотация | В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это предусмотрено программой. | |
| 650 | a | Основная рубрика | Физико-математические науки | |
| x | Основная подрубрика | Линейное программирование. Математическая логика | ||
| 700 | 1_ | a | Другие авторы | Палютин Евгений Андреевич |
| q | Полное имя | Евгений Андреевич | ||
| 852 | x | Примечание, не предназначенное для пользователя | znanium2022 | |
| 856 | 4_ | a | Имя сервера/домена | znanium.com |
| m | Помощь | ebs_support@infra-m.ru | ||
| n | Местонахождение сервера | НИЦ ИНФРА-М | ||
| u | URL | http://znanium.com/catalog/document?id=81684 | ||
| z | Примечание для пользователя | Участвует в КО | ||
| 856 | 41 | a | Имя сервера/домена | znanium.com |
| d | Путь | /cover/0395 | ||
| f | Электронное имя | 395379.jpg | ||
| q | Тип электронного формата | image/jpeg | ||
| u | URL | https://znanium.com/cover/0395/395379.jpg |