| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | a | |||
| 001 | Контрольный номер | a6872f1708da40bbbc2215bab9d778d0 | ||
| 005 | Дата корректировки | 20221102080849.4 | ||
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 097 | b | Оператор | Komarova.ES | |
| 100 | 1_ | a | Автор | Коляда К. В. |
| 245 | 10 | a | Заглавие | Неразрешимость проблемы полноты для некоторых функциональных систем типа Клини |
| 260 | a | Место издания | Калинин | |
| b | Издательство | КГУ | ||
| 504 | a | Библиография | Библиогр.: с. 55 (5 назв.) | |
| 520 | 0_ | a | Аннотация | Статья посвящена неразрешимости проблемы полноты для некоторых функциональных систем типа Клини. |
| 653 | 0_ | a | Ключевые слова | Москва, город |
| a | Ключевые слова | Суперпозиции | ||
| a | Ключевые слова | Базис | ||
| a | Ключевые слова | Теорема | ||
| a | Ключевые слова | Теоретико-множественные операции | ||
| a | Ключевые слова | Универсальная функция | ||
| 773 | 18 | w | Контрольный № источника | fd1339fd-c88f-4dbb-8540-4c5e8a0f1dd9 |
| t | Название источника | Логико-алгебраические конструкции | ||
| d | Место и дата издания | Калинин : КГУ, 1987 | ||
| g | Прочая информация | С. 48-55 | ||
| 901 | t | Тип документа | a | |
| 920 | a | Оператор | Кома | |
| 954 | b | Дата поступления в ОК | 20221102 |