Поле |
Инд. |
ПП |
Название |
Значение |
|
|
|
Тип записи |
a |
|
|
|
Библиографический уровень |
m |
001 |
|
|
Контрольный номер |
RU/MAI/LIB/360422435 |
005 |
|
|
Дата корректировки |
20240628124017.0 |
020 |
|
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 |
Тип литературы для КСУ ВШ |
КНР |