| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | a | |||
| 001 | Контрольный номер | 2d5221c72b7448f6bfce547259b736d8 | ||
| 005 | Дата корректировки | 20240116123217.8 | ||
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 097 | b | Оператор | Shalygina.EA | |
| 100 | 1_ | a | Автор | Чагров Александр Васильевич |
| q | Полное имя | Чагров А. В. | ||
| 245 | 10 | a | Заглавие | Разрешимость проблемы антитабличности расширений логики Гёделя-Лёба |
| 260 | a | Место издания | Калинин | |
| b | Издательство | КГУ | ||
| 504 | a | Библиография | Библиогр.: с. 128-129 | |
| 653 | 0_ | a | Ключевые слова | Антитабличность |
| a | Ключевые слова | Математическая логика | ||
| a | Ключевые слова | Труды Тверского государственного университета | ||
| a | Ключевые слова | Разрешимость | ||
| a | Ключевые слова | Логические методы | ||
| 700 | 12 | a | Другие авторы | Чагрова Лидия Алексеевна |
| q | Полное имя | Чагрова Л. А. | ||
| 773 | 18 | w | Контрольный № источника | 306c851c-549e-42a0-abd9-55a4559a9efa |
| t | Название источника | Логические методы построения эффективных алгоритмов | ||
| d | Место и дата издания | Калинин : КГУ, 1986 | ||
| g | Прочая информация | С. 126-129 | ||
| 901 | t | Тип документа | a | |
| 920 | a | Оператор | Шалы |