Дискретные модели: представление конечными деревьями и разрешимость формальных теорий (Запись № 11787855)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 01933nam0a2200385 i 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | RU\NLR\BIBL_A\011458073 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20241114225213.0 |
| 010 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN) | |
| Номер (ISBN) | 9785803811930 |
| Тираж | 100 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ | |
| Код страны | российская федерация |
| Номер | 2017-56137 |
| Номер Листа государственной регистраци | 3991 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (RuMoRGB)008949525 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NLR Aleph) 011458073 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20170818d2017 km y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | y|||z|||000yy |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | Дискретные модели: представление конечными деревьями и разрешимость формальных теорий |
| Сведения, относящиеся к заглавию | монография |
| Первые сведения об ответственности | Ю.Д. Корольков, В.И. Мартьянов |
| Последующие сведения об ответственности | Министерство образования и науки РФ, Иркутский национальный исследовательский технический университет |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | Иркутск |
| Имя издателя, распространителя и т. д. | Изд-во Иркутского национального исследовательского технического университета |
| Дата издания, распространения и т.д. | 2017 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Специфическое обозначение материала и объем | 159 с. |
| Размеры | 20 |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Библиогр.: с. 148-159 (100 назв.) |
| 606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Алгебраические системы |
| Системный номер авторитетной/нормативной записи | 938408 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\6628111 |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Нумерации вычислимые |
| Системный номер авторитетной/нормативной записи | 1748521 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\66783083 |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Рекурсивные функции |
| Системный номер авторитетной/нормативной записи | 2136888 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\661288424 |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Математическая логика |
| Тематический подзаголовок | Модели |
| Системный номер авторитетной/нормативной записи | 2595557 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\AUTH\661533614 |
| 610 0# - НЕКОНТРОЛИРУЕМЫЕ ПРЕДМЕТНЫЕ ТЕРМИНЫ | |
| Предметный термин | дискретная математика |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | В12,0 |
| Код системы | |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | З973.233-018,0 |
| Код системы | |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | В152.7 |
| 686 1# - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | В12 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Корольков |
| Часть имени, кроме начального элемента ввода | Ю. Д. |
| Расширение инициалов личного имени | Юрий Дмитриевич |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Мартьянов |
| Часть имени, кроме начального элемента ввода | В. И. |
| Расширение инициалов личного имени | Владимир Иванович |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
| 980 ## - КОЛЛЕКЦИЯ | |
| Название коллекции | НБР |
Нет доступных экземпляров.