Математическая логика и автоматическое доказательство теорем / Минц,Г.Е ; пер. с англ. Г.В.Давыдова и др. ; под ред. С.Ю.Маслова

010 ## - ISBN
Условия приобретения и (или) цена 2р.20к
100 ## - Данные общей обработки
Данные общей обработки 20120213d1983 k y0rusy50 ca
101 0# - Язык документа
Язык текста, звукозаписи и т.д. rus
102 ## - Страна публикации или производства
Страна публикации RU
105 ## - Поле кодированных данных: текстовые документы – монографические
Кодированные данные о текстовом документе, описываемом на монографическом или аналитическом уровне a z 000yy
109 ## - Поле кодированных данных: вид / характер текстовых документов
Коды вида / характера документа aa
200 1# - Заглавие и сведения об ответственности
Основное заглавие Математическая логика и автоматическое доказательство теорем
Первые сведения об ответственности Минц,Г.Е
Последующие сведения об ответственности пер. с англ. Г.В.Давыдова и др.
-- под ред. С.Ю.Маслова
210 ## - Публикация, распространение и т. д.
Место издания, распространения и т.д. М.
Имя издателя, распространителя и т. д. Наука
Дата издания, распространения и т.д. 1983
215 ## - Физическая характеристика
Обозначение специфического вида материала и физической характеристики документа или его составных частей 358с.
225 0# - Серия
Заглавие серии Математическая логика и основания математики
300 ## - Общие примечания
Текст примечания В кн. также: Теория поиска вывода и обратный метод / С.Ю.Маслов, Г.Е.Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П.Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю.МасловАлф. указ.: с. 350-358
320 ## - Примечание о наличии в документе библиографии или указателя
Текст примечания Библиогр.: с. 333-349
345 ## - Примечание, относящееся к информации о комплектовании
Тираж 8500 экз.
686 ## - Индексы других классификаций
Индекс 22.122
Издание 2
Код классификации rubbk
Индекс 27.03.15
Издание 4
Код классификации rugasnti
610 0# - Неконтролируемые тематические термины
Тематический термин МАТЕМАТИЧЕСКАЯ ЛОГИКА
Тематический термин ТЕОРЕМЫ
Тематический термин ДОКАЗАТЕЛЬСТВА
Тематический термин МАТЭМАТЫЧНАЯ ЛОГIКА
Тематический термин ДОКАЗЫ
690 ## - Локальный рубрикатор библиографирующего учреждения
Начальный элемент ввода (или индекс) 1
Код системы Base
Код библиографирующего учреждения BY-HR0000
Тематический подзаголовок (или индекс) RSEK
700 #1 - Имя лица - первичная ответственность
Начальный элемент ввода Чень
Часть имени, кроме начального элемента ввода Ч.
701 #1 - Имя лица — альтернативная ответственность
Начальный элемент ввода Ли
Часть имени, кроме начального элемента ввода Р.
Начальный элемент ввода Маслов
Часть имени, кроме начального элемента ввода С. Ю.
Начальный элемент ввода Минц
Часть имени, кроме начального элемента ввода Г. Е.
Начальный элемент ввода Оревков
Часть имени, кроме начального элемента ввода В. П.
801 #0 - Источник происхождения записи
Страна BY
Библиографирующее учреждение
Дата составления 20120213
Правила каталогизации psbo
Страна BY
Библиографирующее учреждение
Дата составления 20170521
Правила каталогизации psbo
899 ## - Данные о местонахождении (устаревшее)
Идентификатор организации
Классификационная часть шифра 22.122
Часть, характеризующая документ Ч-43
Языки: