Подробности
| 000 -МАРКЕР |
|---|
| контрольное поле |
02111nam0a2200421 4500 |
| 001 - ИДЕНТИФИКАТОР ЗАПИСИ |
|---|
| контрольное поле |
RU\NLR\bibl\1679415 |
| 005 - ИДЕНТИФИКАТОР ВЕРСИИ |
|---|
| контрольное поле |
20250616050958.0 |
| 010 ## - МЕЖДУНАРОДНЫЙ СТАНДАРТНЫЙ НОМЕР КНИГИ (ISBN) |
|---|
| Номер (ISBN) |
978-5-397-01387-1 |
| 021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ |
|---|
| Код страны |
российская федерация |
| Номер |
2010-64071 |
| Номер Листа государственной регистраци |
4206 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(nilc)RSL-KNO-004721952 |
| 035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА |
|---|
| Идентификатор записи |
(NLR Aleph) 001670626 |
| 100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ |
|---|
| Данные общей обработки |
20100816d2010 |||y0rusy50 ca |
| 101 1# - ЯЗЫК РЕСУРСА |
|---|
| Язык текста, звукозаписи и т.д. |
русский |
| Язык оригинала |
английский |
| 102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА |
|---|
| Страна публикации |
российская федерация |
| 105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ |
|---|
| Кодированные данные о монографическом текстовом документе |
a ||||||||| |
| 200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ |
|---|
| Основное заглавие |
Введение в математическую логику |
| Параллельное заглавие |
Introduction to mathematical logic |
| Сведения, относящиеся к заглавию |
[исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] |
| Первые сведения об ответственности |
Э. Мендельсон |
| Последующие сведения об ответственности |
пер. с англ. Ф. А. Кабакова |
| -- |
под ред. акад. С. И. Адяна |
| Язык параллельного заглавия |
английский |
| 205 ## - СВЕДЕНИЯ ОБ ИЗДАНИИ |
|---|
| Сведения об издании |
Изд. 4-е |
| 210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР. |
|---|
| Место издания, распространения и т.д. |
Москва |
| Имя издателя, распространителя и т. д. |
URSS |
| -- |
ЛИБРОКОМ |
| Дата издания, распространения и т.д. |
2010 |
| 215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА |
|---|
| Специфическое обозначение материала и объем |
319 с. |
| Другие сведения о физической характеристике |
ил. |
| Размеры |
22 |
| 225 1# - СЕРИЯ |
|---|
| Основное заглавие серии |
Физико-математическое наследие: математика (основания математики и логика) |
| 300 ## - ОБЩИЕ ПРИМЕЧАНИЯ |
|---|
| Текст примечания |
Авт. также на англ. яз.: Elliott Mendelson |
| 313 ## - ПРИМЕЧАНИЯ, ОТНОСЯЩИЕСЯ К ТЕМАТИЧЕСКОМУ ДОСТУПУ |
|---|
| Текст примечания |
Изд. проверено |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Библиогр.: с. 296-309 |
| 320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ |
|---|
| Текст примечания |
Алф. указ.: с. 310-317 |
| 510 0# - ПАРАЛЛЕЛЬНОЕ ЗАГЛАВИЕ |
|---|
| Связь между полями |
z55790 |
| Параллельное заглавие |
Introduction to mathematical logic |
| Язык заглавия |
английский |
| 606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ |
|---|
| Наименование темы |
Математическая логика |
| Системный номер авторитетной/нормативной записи |
925057 |
| Идентификатор авторитетной/нормативной записи |
RU\NLR\auth\6620994 |
| 610 0# - НЕКОНТРОЛИРУЕМЫЕ ПРЕДМЕТНЫЕ ТЕРМИНЫ |
|---|
| Предметный термин |
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школы |
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
В12я73-1 |
| Код системы |
|
| 686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ |
|---|
| Индекс |
В12 |
| 700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ |
|---|
| Начальный элемент ввода |
Мендельсон |
| Часть имени, кроме начального элемента ввода |
Э. |
| Даты |
1931- |
| Расширение инициалов личного имени |
Эллиот |
| Код отношения |
Автор |
| 790 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ФОРМА |
|---|
| Связь между полями |
z55510 |
| Начальный элемент ввода |
Mendelson |
| Часть имени, кроме начального элемента ввода |
E. |
| Расширение инициалов личного имени |
Elliott |
| Код отношения |
Автор |
| 801 #0 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
российская федерация |
| Организация |
РГБ |
| Дата составления |
20100816 |
| Правила каталогизации |
rcr |
| 801 #1 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
российская федерация |
| Организация |
РГБ |
| Дата составления |
20100816 |
| 801 #2 - ИСТОЧНИК ЗАПИСИ |
|---|
| Страна |
российская федерация |
| Организация |
NLR |
| Дата составления |
20100930 |
| Правила каталогизации |
rcr |
| 942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС) |
|---|
| Тип экземпляра АБИС |
Книга |
| 980 ## - КОЛЛЕКЦИЯ |
|---|
| Название коллекции |
Национальная библиография |