Поле | Название | Значение |
|
Тип записи |
a |
|
Библиографический уровень |
m |
001 |
Контрольный номер |
RU/MAI/LIB/360422435 |
005 |
Дата корректировки |
20240628124017.0 |
020 |
Индекс ISBN |
__ |
a |
ISBN |
978-5-397-00105-2 |
040 |
Источник каталогиз. |
__ |
b |
Код языка каталог. |
rus |
e |
Правила каталог. |
PSBO |
a |
Служба первич. каталог. |
10013504 |
041 |
Код языка издания |
0_ |
a |
Код языка текста |
rus |
080 |
Индекс УДК |
__ |
a |
Индекс УДК |
510.2 |
080 |
Индекс УДК |
__ |
a |
Индекс УДК |
510.6 |
080 |
Индекс УДК |
__ |
a |
Индекс УДК |
510.57 |
090 |
Шифры |
__ |
a |
Полочн. индекс |
51 |
x |
Авторский знак |
К 493 |
100 |
Автор |
1_ |
a |
Автор |
Клини С.К. |
245 |
Заглавие |
10 |
a |
Заглавие |
Введение в метаматематику |
c |
Ответственность |
перевод с английского А.С. Есенина-Вольпина под ред. В.А. Успенского |
250 |
Сведения об издании |
__ |
a |
Основные сведения об издании |
Изд. 2-е., испр. |
260 |
Выходные данные |
__ |
a |
Место издания |
М. |
b |
Издательство |
ЛИБРОКОМ |
c |
Дата издания |
2009 |
300 |
Физическое описание |
__ |
a |
Объем |
523 с. |
440 |
Серия |
_0 |
a |
Серия |
Физико-математическое наследие: математика |
p |
Название части |
основания математики и логика |
504 |
Библиография |
__ |
a |
Библиография |
Библиогр.: с. 493-509 |
653 |
Ключевые слова |
0_ |
a |
Ключевые слова |
ОСНОВАНИЯ МАТЕМАТИКИ; МАТЕМАТИЧЕСКАЯ ЛОГИКА; РЕКУРСИВНЫЕ ФУНКЦИИ; ФУНКЦИИ РЕКУРСИВНЫЕ |
901 |
Тип документа |
__ |
t |
Тип документа |
m |
952 |
Тип литературы |
__ |
a |
Тип литературы для КСУ ВШ |
КНР |