| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | 851fc617ce2f4525afb23c071f6f7bad | ||
| 005 | Дата корректировки | 20240929131201.8 | ||
| 040 | a | Служба первич. каталог. | 10013504 | |
| 080 | a | Индекс УДК | 517.11 | |
| 090 | a | Полочн. индекс | 51 | |
| x | Авторский знак | М 501 | ||
| 100 | 1_ | a | Автор | Мендельсон Э. |
| d | Дата | 1931-2020 | ||
| 245 | 10 | a | Заглавие | Введение в математическую логику |
| c | Ответственность | перевод с английского Кабакова Ф.А.; под ред. Адяна С.И. | ||
| 260 | a | Место издания | Москва | |
| b | Издательство | Наука | ||
| c | Дата издания | 1971 | ||
| 300 | a | Объем | 320 с. | |
| b | Иллюстрации/ тип воспроизводства | ил. | ||
| 504 | a | Библиография | Библиогр.:с 296-309 | |
| 520 | 0_ | a | Аннотация | В книге сравнительно небольшого объема освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предикатов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. |
| 650 | 04 | a | Основная рубрика | МАТЕМАТИЧЕСКАЯ ЛОГИКА |
| 653 | 0_ | a | Ключевые слова | МАТЕМАТИЧЕСКАЯ ЛОГИКА-УЧЕБНИКИ И ПОСОБИЯ;ТЕОРИЯ АЛГОРИТМОВ-УЧЕБНИКИ И ПОСОБИЯ |
| 700 | 12 | a | Другие авторы | Кабаков Ф.А. |
| e | Роль лиц | Переводчик | ||
| 700 | 12 | a | Другие авторы | Адян С.И. |
| e | Роль лиц | Редактор | ||
| 900 | a | Имя макрообъекта | обложка.Введение в математическую логику . Э. Мендельсон; ,1971 | |
| 901 | t | Тип документа | m | |
| 952 | a | Тип литературы для КСУ ВШ | КУпР | |
| c | Вид литературы | учебное пособие |