Математическая логика и теория алгоритмов : учебник [для студентов высших учебных заведений] / А. В. Пруцков, Л. Л. Волкова

010 ## - ISBN
Номер ISBN 978-5-906818-74-4
Уточнения Курс) (в переплете
Номер ISBN 978-5-16-012180-2
Уточнения Инфра-М
035 ## - Идентификатор записи другой системы
Контрольный номер системы (BY-MI0000)BY-CNB-br5255935
100 ## - Данные общей обработки
Данные общей обработки 20200924d2020 f y0rusy50 ca
101 0# - Язык документа
Язык текста, звукозаписи и т.д. rus
102 ## - Страна публикации или производства
Страна публикации RU
105 ## - Поле кодированных данных: текстовые документы – монографические
Кодированные данные о текстовом документе, описываемом на монографическом или аналитическом уровне a j 000yy
109 ## - Поле кодированных данных: вид / характер текстовых документов
Коды вида / характера документа ga
200 1# - Заглавие и сведения об ответственности
Основное заглавие Математическая логика и теория алгоритмов
Сведения, относящиеся к заглавию учебник [для студентов высших учебных заведений]
Первые сведения об ответственности А. В. Пруцков, Л. Л. Волкова
210 ## - Публикация, распространение и т. д.
Место издания, распространения и т.д. Москва
Имя издателя, распространителя и т. д. Курс
-- Инфра-М
Дата издания, распространения и т.д. 2020
215 ## - Физическая характеристика
Обозначение специфического вида материала и физической характеристики документа или его составных частей 150, [1] с.
Другие уточнения физических характеристик ил., табл.
Размеры 22 см
320 ## - Примечание о наличии в документе библиографии или указателя
Текст примечания Библиография: с. 143—147 (59 назв.)
345 ## - Примечание, относящееся к информации о комплектовании
Тираж 100 экз.
606 ## - Наименование темы, используемое как предмет
Начальный элемент ввода ЛОГИКА ВЫСКАЗЫВАНИЙ
Идентификатор авторитетной / нормативной записи BY-NLB-ar2933221
Код системы предметизации или авторитетного / нормативного файла DVNLB
Начальный элемент ввода ЛОГИКА ПРЕДИКАТОВ
Идентификатор авторитетной / нормативной записи BY-SEK-ar4180865
Код системы предметизации или авторитетного / нормативного файла DVNLB
Начальный элемент ввода АЛГОРИТМЫ (мат., информатика)
Идентификатор авторитетной / нормативной записи BY-NLB-ar2145
Код системы предметизации или авторитетного / нормативного файла DVNLB
Начальный элемент ввода ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Идентификатор авторитетной / нормативной записи BY-NLB-ar16600
Код системы предметизации или авторитетного / нормативного файла DVNLB
Начальный элемент ввода ПРОГРАММНАЯ ИНЖЕНЕРИЯ
Идентификатор авторитетной / нормативной записи BY-NLB-ar1584445
Код системы предметизации или авторитетного / нормативного файла DVNLB
Начальный элемент ввода ПРИКЛАДНАЯ ИНФОРМАТИКА
Идентификатор авторитетной / нормативной записи BY-NLB-ar25496
Код системы предметизации или авторитетного / нормативного файла DVNLB
Идентификатор авторитетной / нормативной записи BY-NLB-ar17284
Начальный элемент ввода МАТЕМАТИЧЕСКАЯ ЛОГИКА
Код системы предметизации или авторитетного / нормативного файла DVNLB
Идентификатор авторитетной / нормативной записи BY-NLB-ar2149
Начальный элемент ввода АЛГОРИТМОВ ТЕОРИЯ
Код системы предметизации или авторитетного / нормативного файла DVNLB
608 ## - Форма (вид), жанр, физические характеристики документа
Идентификатор авторитетной / нормативной записи BY-NLB-ar2266631
Начальный элемент ввода УЧЕБНИК ДЛЯ ВУЗОВ
Код системы предметизации или авторитетного / нормативного файла BYGNR
686 ## - Индексы других классификаций
Индекс 22.12я73
Код классификации rubbk
690 ## - Локальный рубрикатор библиографирующего учреждения
Начальный элемент ввода (или индекс) 1
Код библиографирующего учреждения BY-MI0000
Код системы Base
Тематический подзаголовок (или индекс) RSEK
700 #1 - Имя лица - первичная ответственность
Идентификатор авторитетной / нормативной записи BY-SEK-566887
Начальный элемент ввода Пруцков
Часть имени, кроме начального элемента ввода А. В.
Код отношения 070
701 #1 - Имя лица — альтернативная ответственность
Начальный элемент ввода Волкова
Часть имени, кроме начального элемента ввода Л. Л.
Код отношения 070
801 #0 - Источник происхождения записи
Страна BY
Библиографирующее учреждение
Дата составления 20200929
Правила каталогизации RCR
Страна BY
Библиографирующее учреждение
Дата составления 20201130
Правила каталогизации psbo
899 #0 - Данные о местонахождении (устаревшее)
Идентификатор организации
Часть, характеризующая документ П853
Классификационная часть шифра 22.12
999 ## - Лица – составители записи
Дата выполнения работы 20210218
Комплектатор 476
Дата выполнения работы 20201130
-- 20210317
Языки: