| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | a | |||
| 001 | Контрольный номер | 3ff3c890609e4cd7aa5ca6072c1cfc98 | ||
| 005 | Дата корректировки | 20160420113445.6 | ||
| 020 | a | ISBN | 5-903004-08-3 (ч. 2) | |
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 097 | b | Оператор | korjnina | |
| 100 | 1_ | a | Автор | Шангин Василий Олегович |
| q | Полное имя | Шангин В. О. | ||
| 245 | 10 | a | Заглавие | Автоматический поиск натурального вывода в интуиционистской пропозициональной логике с отмеченными формулами |
| 260 | a | Место издания | Москва | |
| b | Издательство | Ин-т бизнеса и политики | ||
| 504 | a | Библиография | Библиогр. в примеч.: с. 359 (4 назв.) | |
| 520 | 0_ | a | Аннотация | Предлагается натуральное исчисление типа Фитча для интуиционистской логики высказываний с отмеченными формулами. |
| 653 | 0_ | a | Ключевые слова | Логика |
| a | Ключевые слова | Интуиционистская логика | ||
| a | Ключевые слова | Натуральное исчисление | ||
| a | Ключевые слова | Автоматический поиск | ||
| 773 | 18 | w | Контрольный № источника | 412a74c1101f41a29998a632bc526fab |
| t | Название источника | Россия и современный мир | ||
| d | Место и дата издания | Москва : Ин-т бизнеса и политики, 2006 | ||
| g | Прочая информация | Ч. 2. - С. 356-359 | ||
| 901 | t | Тип документа | a | |
| 920 | a | Оператор | Корж |