Подробности
| 000 -МАРКЕР |
|---|
| контрольное поле |
01725nam a2200337 c 4500 |
| 001 - КОНТРОЛЬНЫЙ НОМЕР ЗАПИСИ |
|---|
| контрольное поле |
000030642 |
| 003 - ПРИНАДЛЕЖНОСТЬ КОНТРОЛЬНОГО НОМЕРА |
|---|
| контрольное поле |
RuMoIPM |
| 005 - ДАТА И ВРЕМЯ ПОСЛЕДНЕЙ ТРАНЗАКЦИИ |
|---|
| контрольное поле |
20260521124918.0 |
| 008 - ЭЛЕМЕНТЫ ДАННЫХ ФИКСИРОВАННОЙ ДЛИНЫ |
|---|
| контрольное поле |
230210s1983 ru ||||||| |||| ||rus d |
| 035 ## - КОНТРОЛЬНЫЙ НОМЕР СИСТЕМЫ |
|---|
| контрольный номер системы |
(RuMoBEN) 001948049 |
| 035 ## - КОНТРОЛЬНЫЙ НОМЕР СИСТЕМЫ |
|---|
| контрольный номер системы |
(ELAR retro) [2022] 000014900 |
| 035 ## - КОНТРОЛЬНЫЙ НОМЕР СИСТЕМЫ |
|---|
| контрольный номер системы |
(ELAR retro) [2022] 000015276 |
| 035 ## - КОНТРОЛЬНЫЙ НОМЕР СИСТЕМЫ |
|---|
| контрольный номер системы |
(ELAR retro) [2022] 000150387 |
| 040 ## - ОРГАНИЗАЦИЯ-СОЗДАТЕЛЬ ЗАПИСИ |
|---|
| организация-создатель исходной библиографической записи |
RuMoBEN |
| язык каталогизации |
rus |
| правила каталогизации |
rcr |
| 041 0# - КОД ЯЗЫКА |
|---|
| код языка текста |
Русский |
| код языка оригинала и/или промежуточных переводов текста |
eng |
| 044 ## - КОД СТРАНЫ ПУБЛИКАЦИИ/ИЗГОТОВЛЕНИЯ |
|---|
| MARC код страны публикации/изготовления |
Российская Федерация |
| 080 ## - ИНДЕКС УНИВЕРСАЛЬНОЙ ДЕСЯТИЧНОЙ КЛАССИФИКАЦИИ |
|---|
| индекс Универсальной десятичной классификации |
510.6-37 |
| 100 1# - ИМЯ ЛИЦА КАК ОСНОВНОЙ ПОИСКОВЫЙ ПРИЗНАК |
|---|
| имя лица |
Чень, Ч. |
| 245 10 - ОБЛАСТЬ ЗАГЛАВИЯ И СВЕДЕНИЙ ОБ ОТВЕТСТВЕННОСТИ |
|---|
| заглавие |
Математическая логика и автоматическое доказательство теорем |
| сведения об ответственности и т. д |
Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова [и др.] ; под ред. С. Ю. Маслова |
| 260 ## - ОБЛАСТЬ ВЫХОДНЫХ ДАННЫХ |
|---|
| место публикации, распространения, изготовления и т. д |
Москва |
| издательство, издатель, распространитель и т. д |
Наука |
| дата издания, распространения и т. д |
1983 |
| 300 ## - ОБЛАСТЬ КОЛИЧЕСТВЕННОЙ ХАРАКТЕРИСТИКИ |
|---|
| объём |
358 с. |
| прочее |
ил. |
| 490 0# - ОБЛАСТЬ СЕРИИ |
|---|
| область серии |
Математическая логика и основания математики |
| 500 ## - ПРИМЕЧАНИЕ ОБЩЕГО ХАРАКТЕРА |
|---|
| текст примечания |
Пер. изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New-York, etc., 1973) |
| 500 ## - ПРИМЕЧАНИЕ ОБЩЕГО ХАРАКТЕРА |
|---|
| текст примечания |
В кн. также: Теория поиска вывода и обратный метод / С.Ю. Маслов, Г.Е. Минц. Алгоритм Британского музея может быть эффективнее метода резолюций / В.П. Оревков. О стратегиях метода резолюций и клаш-метода / С.Ю. Маслов |
| 504 ## - ПРИМЕЧАНИЕ О НАЛИЧИИ БИБЛИОГРАФИЧЕСКИХ ПЕРЕЧНЕЙ И ССЫЛОК |
|---|
| текст примечания |
Библиогр.: с. 333-349 |
| 504 ## - ПРИМЕЧАНИЕ О НАЛИЧИИ БИБЛИОГРАФИЧЕСКИХ ПЕРЕЧНЕЙ И ССЫЛОК |
|---|
| текст примечания |
Библиогр. в конце гл. |
| 504 ## - ПРИМЕЧАНИЕ О НАЛИЧИИ БИБЛИОГРАФИЧЕСКИХ ПЕРЕЧНЕЙ И ССЫЛОК |
|---|
| текст примечания |
Алф. указ.: с. 350-358 |
| 700 1# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК |
|---|
| имя лица |
Ли, Р. |
| 700 1# - ИМЯ ЛИЦА КАК ДОБАВОЧНЫЙ ПОИСКОВЫЙ ПРИЗНАК |
|---|
| имя лица |
Маслов, Сергей Юрьевич |
| роль лица относительно произведения |
ред. |
| 942 ## - ДАННЫЕ О ЗАПИСИ (KOHA) |
|---|
| Тип экземпляра (KOHA) |
Книга |