| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | a | |||
| 001 | Контрольный номер | 298b5d1cba8b4032a02a22060fa75128 | ||
| 005 | Дата корректировки | 20221117094442.4 | ||
| 040 | a | Служба первич. каталог. | RU-RKP | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 097 | b | Оператор | Raenko.AV | |
| 100 | 1_ | a | Автор | Карташов С. И. |
| 245 | 10 | a | Заглавие | О некоторых функциональных системах типа Поста |
| 260 | a | Место издания | Калинин | |
| b | Издательство | Калининский государственный университет | ||
| 504 | a | Библиография | Библиогр.: с. 53 (4 назв.) | |
| 653 | 0_ | a | Ключевые слова | Функциональные системы |
| a | Ключевые слова | Функциональные системы типа Поста | ||
| a | Ключевые слова | Замкнутые классы | ||
| a | Ключевые слова | Континуальные решетки | ||
| a | Ключевые слова | Алгоритмы | ||
| a | Ключевые слова | Математическая логика | ||
| a | Ключевые слова | Калининский государственный университет | ||
| a | Ключевые слова | Труды Тверского государственного университета | ||
| 773 | 18 | w | Контрольный № источника | 9bc07d7e-9135-4ccc-b7df-efd84f07fc9b |
| t | Название источника | Алгебро-логические конструкции | ||
| d | Место и дата издания | Калинин : Калининский государственный университет, 1989 | ||
| g | Прочая информация | С. 45-53 | ||
| 901 | t | Тип документа | a | |
| 920 | a | Оператор | Раен | |
| 954 | b | Дата поступления в ОК | 20221117 |