| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | 000695188 | ||
| 005 | Дата корректировки | 20150513112044.2 | ||
| 008 | Кодируемые данные | 010510s2000 |||| zzzz |01 1 rus u | ||
| 020 | a | ISBN | 5-7615-0490-1 | |
| 040 | a | Служба первич. каталог. | RuMo | |
| c | Служба, преобразующая запись | НБ ТвГУ | ||
| 041 | a | Код языка текста | rus | |
| 080 | a | Индекс УДК | 510.6(075.8) | |
| 084 | a | Индекс другой классификации/Индекс ББК | В122я73-1 | |
| 090 | a | Полочн. индекс | В122 | |
| x | Авторский знак | Н 53 | ||
| 100 | 1_ | a | Автор | Непейвода Николай Николаевич |
| q | Полное имя | Непейвода Н. Н. | ||
| 245 | 10 | a | Заглавие | Прикладная логика |
| b | Продолж. заглавия | учебное пособие для студентов вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология" | ||
| 250 | a | Основные сведения об издании | Изд. 2-е, испр. и доп. | |
| 260 | a | Место издания | Новосибирск | |
| b | Издательство | Новосибирский государственный университет | ||
| c | Дата издания | 2000 | ||
| 300 | a | Объем | 490 с. | |
| b | Иллюстрации/ тип воспроизводства | ил. | ||
| c | Размеры | 22 см | ||
| 504 | a | Библиография | Библиогр.: с. 479-481 (35 назв.) | |
| 504 | a | Библиография | Предм., имен. указ.: с. 482-490 | |
| 520 | a | Аннотация | Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. | |
| Р | екомендуется для студентов и аспирантов специальностей: "Математика", " Прикладная математика", "Структурная прикладная лингвистика", "Философия", "Когнитивная психология". | |||
| 653 | a | Ключевые слова | Интуиционистская логика | |
| a | Ключевые слова | Классическая логика | ||
| a | Ключевые слова | Логика | ||
| a | Ключевые слова | Математика | ||
| a | Ключевые слова | Математическая логика | ||
| a | Ключевые слова | Неклассические логики | ||
| a | Ключевые слова | Прикладная логика | ||
| a | Ключевые слова | Учебники для вузов | ||
| 901 | t | Тип документа | m | |
| 910 | a | гриф есть* | ||
| 920 | a | Оператор | Стру | |
| 930 | a | Новая/Ретро | учебники | |
| 952 | c | Вид литературы | К ру | |
| 954 | a | Дата поступления на обработку | 20110217 |