Языки и исчисления (Запись № 3108350)
[ простой вид ]
| 000 -МАРКЕР | |
|---|---|
| контрольное поле | 02254nam0a2200457 i 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ | |
| контрольное поле | RU\NLR\bibl\1916259 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ | |
| контрольное поле | 20241114193208.0 |
| 010 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN) | |
| Номер (ISBN) | 9785443900131 |
| Тираж | 1000 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ | |
| Код страны | российская федерация |
| Номер | 2012-39763 |
| Номер Листа государственной регистраци | 2939 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (nilc)RSL-KNO-005448446 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА | |
| Идентификатор записи | (NLR Aleph) 001905751 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ | |
| Данные общей обработки | 20120606d2012 u y0rusy50 ca |
| 101 0# - ЯЗЫК РЕСУРСА | |
| Язык текста, звукозаписи и т.д. | русский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА | |
| Страна публикации | российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ | |
| Кодированные данные о монографическом текстовом документе | a ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ | |
| Основное заглавие | Языки и исчисления |
| Первые сведения об ответственности | Н.К. Верещагин, А. Шень |
| 205 ## - СВЕДЕНИЯ ОБ ИЗДАНИИ | |
| Сведения об издании | Изд. 4-е, испр. |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. | |
| Место издания, распространения и т.д. | Москва |
| Имя издателя, распространителя и т. д. | Изд-во МЦНМО |
| Дата издания, распространения и т.д. | 2012 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА | |
| Специфическое обозначение материала и объем | 240 с. |
| Другие сведения о физической характеристике | ил. |
| Размеры | 21 |
| 225 1# - СЕРИЯ | |
| Основное заглавие серии | Лекции по математической логике и теории алгоритмов |
| Обозначение тома | ч. 2 |
| 225 1# - СЕРИЯ | |
| Основное заглавие серии | Современные лекционные курсы |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ | |
| Текст примечания | На обороте тит. л. в вып. дан. и макете загл.: Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ | |
| Текст примечания | На обл. авт. не указаны |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ | |
| Текст примечания | На обл. загл. 1-й сер.: Математическая логика и теория алгоритмов |
| 313 ## - ПРИМЕЧАНИЯ, ОТНОСЯЩИЕСЯ К ТЕМАТИЧЕСКОМУ ДОСТУПУ | |
| Текст примечания | По пред. изд. |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Библиогр.: с. 224-227 (34 назв.) |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ | |
| Текст примечания | Указатели: предм., имен: с. 228-240 |
| 517 0# - ДРУГИЕ ВАРИАНТЫ ЗАГЛАВИЯ | |
| Вариант заглавия | Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Исчисление высказываний |
| Формальный подзаголовок | Учебные издания |
| Системный номер авторитетной/нормативной записи | 2225568 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\661336082 |
| 606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ | |
| Наименование темы | Исчисление предикатов |
| Формальный подзаголовок | Учебные издания |
| Системный номер авторитетной/нормативной записи | 2255985 |
| Идентификатор авторитетной/нормативной записи | RU\NLR\auth\661352941 |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | В123,0 |
| Код системы | |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ | |
| Индекс | В123я7-2 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Верещагин |
| Часть имени, кроме начального элемента ввода | Н. К. |
| Расширение инициалов личного имени | Николай Константинович |
| Код отношения | Автор |
| 701 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ОТВЕТСТВЕННОСТЬ | |
| Начальный элемент ввода | Шень |
| Часть имени, кроме начального элемента ввода | А. |
| Расширение инициалов личного имени | Александр |
| Код отношения | Автор |
| 801 #0 - ИСТОЧНИК ЗАПИСИ | |
| Страна | российская федерация |
| Организация | RuMoRKP |
| Дата составления | 20120606 |
| Правила каталогизации | rcr |
| 801 #1 - ИСТОЧНИК ЗАПИСИ | |
| Страна | российская федерация |
| Организация | РГБ |
| Дата составления | 20120606 |
| 801 #2 - ИСТОЧНИК ЗАПИСИ | |
| Страна | российская федерация |
| Организация | NLR |
| Дата составления | 20120621 |
| Правила каталогизации | rcr |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) | |
| Тип экземпляра АБИС | Книга |
| 980 ## - КОЛЛЕКЦИЯ | |
| Название коллекции | НБР |
Нет доступных экземпляров.