| Поле | Название | Значение |
| |
Тип записи |
a |
| |
Библиографический уровень |
m |
| 001 |
Контрольный номер |
UONB/MAIN/70d2db0e458e43c981900f0265e5c45d |
| 005 |
Дата корректировки |
20251125133049.9 |
| 010 |
Индекс ISBN |
__ |
| b |
Уточнения |
в пер. |
| d |
Цена |
2 р. 10 к. |
| 9 |
Тираж |
20000 экз. |
| 100 |
Данные общей обработки |
__ |
| a |
Данные общей обработки |
20231116b1983 m y0rusy0189 ca |
| 101 |
Язык документа |
0_ |
| a |
Язык текста |
rus |
| 102 |
Страна публикации |
__ |
| a |
Страна публикации |
RU |
| 105 |
Кодированные данные (монография) |
__ |
| a |
Кодированные данные (монография) |
a g 001yy |
| 200 |
Заглавие и сведения об ответственности |
1_ |
| a |
Заглавие |
Теория доказательств и конструктивная математика |
| f |
Первые сведения об ответственности |
К. Сморинский, Г. Швихтенберг, Р. Стетмен [и др.] |
| g |
Последующие сведения об ответственности |
пер. Г.В. Давыдова, Г.Е. Минца |
| g |
Последующие сведения об ответственности |
под ред. В.П. Оревкова |
| 210 |
Выходные данные |
1_ |
| d |
Дата издания |
1983 |
| 215 |
Физическое описание |
__ |
| a |
Объем |
391 с. |
| 320 |
Библиография |
__ |
| a |
Библиография |
Библиогр. в конце гл. |
| 320 |
Библиография |
__ |
| a |
Библиография |
Предм. указ.: с. 383-388 |
| 461 |
Уровень набора |
_0 |
| 1 |
|
2001 |
| a |
|
Справочная книга по математической логике |
| e |
|
в 4 ч. |
| f |
|
пер. с англ. С.С. Гончарова [и др.] |
| g |
|
под ред. [и с предисл.] Ю.Л. Ершова [и др.] |
| g |
|
под ред. Дж. Барвайса |
| v |
|
Ч. 4 |
| 1 |
|
2101 |
| a |
|
М. |
| c |
|
Наука |
| d |
|
1982 - |
| 1 |
|
300 |
| a |
|
Перевод изд.: Handbook of mathematical logic (Amsterdam etc., 1977) |
| 1 |
|
001UONB/MAIN/638ddc9d1acb4f0fb34c68527bfc301b |
| 1 |
|
215 |
| d |
|
22 см |
| 606 |
Тематические рубрики |
0_ |
| a |
Основная рубрика |
Математическая логика |
| j |
Формальный подзаголовок |
Справочники |
| 606 |
Тематические рубрики |
0_ |
| a |
Основная рубрика |
Доказательства (мат.) |
| 606 |
Тематические рубрики |
0_ |
| a |
Основная рубрика |
Конструктивная математика |
| 610 |
Ключевые слова |
0_ |
| a |
Ключевые слова |
математическая логика; теория доказательств; справочники; конструктивная математика |
| 675 |
Индекс УДК |
__ |
| a |
Индекс УДК |
51:16 |
| 686 |
Индексы других классификаций |
__ |
| 2 |
Код системы |
rubbk |
| a |
Классификационный индекс |
22.12я2 |
| 701 |
Альтернативная интеллектуальная ответственность |
_1 |
| a |
Фамилия |
Сморинский |
| b |
Имя (инициалы) |
К. |
| 701 |
Альтернативная интеллектуальная ответственность |
_1 |
| a |
Фамилия |
Швихтенберг |
| b |
Имя (инициалы) |
Г. |
| 701 |
Альтернативная интеллектуальная ответственность |
_1 |
| a |
Фамилия |
Стетмен |
| b |
Имя (инициалы) |
Р. |
| 701 |
Альтернативная интеллектуальная ответственность |
_1 |
| a |
Фамилия |
Стетмен |
| b |
Имя (инициалы) |
Р. |
| 702 |
Вторичная интеллектуальная ответственность |
_1 |
| a |
Фамилия |
Давыдов |
| b |
Имя (инициалы) |
Г.В. |
| 4 |
Код отношения |
730 |
| 702 |
Вторичная интеллектуальная ответственность |
_1 |
| a |
Фамилия |
Минц |
| b |
Имя (инициалы) |
Г.Е. |
| 4 |
Код отношения |
730 |
| 702 |
Вторичная интеллектуальная ответственность |
_1 |
| a |
Фамилия |
Оревков |
| b |
Имя (инициалы) |
В.П. |
| 4 |
Код отношения |
340 |
| 801 |
Источник записи |
_0 |
| a |
Страна |
RU |
| b |
Организация |
Ульяновская ОНБ |
| c |
Дата составления |
20231116 |
| g |
Правила каталогизации |
RCR |
| 801 |
Источник записи |
_1 |
| a |
Страна |
RU |
| b |
Организация |
Ульяновская ОНБ |
| c |
Дата составления |
20231116 |
| g |
Правила каталогизации |
RCR |
| 901 |
Тип документа |
__ |
| t |
Тип документа |
n |
| w |
Контрольный № источника |
UONB/MAIN/638ddc9d1acb4f0fb34c68527bfc301b |
| 909 |
Создатель записи |
__ |
| a |
Создатель записи |
Моргунова |
| b |
Дата создания записи |
20231116 |