Подробности
| 000 -МАРКЕР |
|---|
| контрольное поле |
01860nam0a2200397 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ |
|---|
| контрольное поле |
RU\NLR\bibl\140694 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ |
|---|
| контрольное поле |
20250618044607.0 |
| 010 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN) |
|---|
| Номер (ISBN) |
5-900916-66-9 |
| Тираж |
1000 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ |
|---|
| Код страны |
российская федерация |
| Номер |
2000-51523 |
| Номер Листа государственной регистраци |
2374 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(NLR Aleph) 000137828 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ |
|---|
| Данные общей обработки |
20010316d2000 |||y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА |
|---|
| Язык текста, звукозаписи и т.д. |
русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА |
|---|
| Страна публикации |
российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ |
|---|
| Кодированные данные о монографическом текстовом документе |
y ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ |
|---|
| Основное заглавие |
Языки и исчисления |
| Первые сведения об ответственности |
Н.К. Верещагин, А. Шень |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. |
|---|
| Место издания, распространения и т.д. |
М. |
| Имя издателя, распространителя и т. д. |
МЦНМО |
| Дата издания, распространения и т.д. |
2000 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА |
|---|
| Специфическое обозначение материала и объем |
286 с. |
| Размеры |
20 |
| 225 1# - СЕРИЯ |
|---|
| Основное заглавие серии |
Лекции по математической логике |
| Обозначение тома |
[Ч. 2] |
| 225 1# - СЕРИЯ |
|---|
| Основное заглавие серии |
Современные лекционные курсы |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ |
|---|
| Текст примечания |
На обл. загл. сер.: Математическая логика и теория алгоритмов |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Библиогр.: с. 269-272 (34 назв.) |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Предм. указ.: 273-282 |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Указ. имен: с. 283-284 |
| 606 0# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Математическая логика |
| Формальный подзаголовок |
Руководства, пособия и т.п. |
| Тематический подзаголовок |
Исчисление высказываний |
| Системный номер авторитетной/нормативной записи |
1342778 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\auth\66244969 |
| 606 0# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Исчисление высказываний |
| Формальный подзаголовок |
Учебные издания |
| Системный номер авторитетной/нормативной записи |
2225568 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\auth\661336082 |
| 606 0# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Математическая логика |
| Формальный подзаголовок |
Руководства, пособия и т.п. |
| Тематический подзаголовок |
Исчисление предикатов |
| Системный номер авторитетной/нормативной записи |
2255986 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\auth\661352942 |
| 606 0# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Исчисление предикатов |
| Формальный подзаголовок |
Учебные издания |
| Системный номер авторитетной/нормативной записи |
2255985 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\auth\661352941 |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
В123я7-2 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Верещагин |
| Часть имени, кроме начального элемента ввода |
Н. К. |
| Код отношения |
Автор |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Шень |
| Часть имени, кроме начального элемента ввода |
А. Х. |
| Расширение инициалов личного имени |
Александр Ханьевич |
| Код отношения |
Автор |
| 801 #0 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
российская федерация |
| Организация |
NLR |
| Дата составления |
20010316 |
| Правила каталогизации |
PSBO |
| 801 #1 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
российская федерация |
| Организация |
NLR |
| Дата составления |
20010316 |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) |
|---|
| Тип экземпляра АБИС |
Книга |
| 980 ## - КОЛЛЕКЦИЯ |
|---|
| Название коллекции |
Национальная библиография |