Normal view
MARC view
Введение в математическую логику (Record no. 78905)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02173nam a2200445 c 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000074653 |
| 005 - Дата корректировки | |
| Контрольное поле | 20240125110945.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 121015s1971 ru fsbi 001 0 rus |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | 0077-68960 |
| 039 #9 - История создания и изменения записи | |
| Дата изменения записи | 201210152002 |
| Изменение записи | VLOAD |
| Дата изменения записи | 201210151929 |
| Изменение записи | VLOAD |
| Дата изменения записи | 200806201642 |
| Изменение записи | cat20 |
| Дата создания записи | 200511061251 |
| Создание записи | Александр Эльверович Гилязов |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| Правила каталог. | PSBO |
| 041 1# - Код языка издания | |
| Код языка | rus |
| Код языка оригинала | eng |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.6 |
| 100 1# - Автор | |
| Ф.И.О. | Мендельсон, Эллиот. |
| 9 (RLIN) | 169549 |
| 245 10 - Заглавие | |
| Заглавие | Введение в математическую логику |
| Ответственность | Э. Мендельсон; пер. с англ. Ф. А. Кабакова; под ред. С. И. Адяна |
| 260 ## - Выходные данные | |
| Место издания | Москва |
| Издательство | Наука, Физматлит |
| Дата издания | 1971 |
| 9 (RLIN) | 687889 |
| 300 ## - Физическое описание | |
| Объем | 320 с. |
| 336 ## - Тип содержимого | |
| Тип содержимого | Текст |
| 337 ## - Средство доступа | |
| Средство доступа | непосредственный |
| 530 ## - Примечание о допольнительных формах | |
| Примечание о дополнительных формах | Доступна электронная версия |
| Источник доступа | Получено из INTERNET |
| 653 ## - Ключевые слова | |
| Ключевые слова | математическая логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление высказываний |
| 653 ## - Ключевые слова | |
| Ключевые слова | многозначные логики |
| 653 ## - Ключевые слова | |
| Ключевые слова | теории первого порядка |
| 653 ## - Ключевые слова | |
| Ключевые слова | теоремы о полноте |
| 653 ## - Ключевые слова | |
| Ключевые слова | теории первого порядка обобщенные |
| 653 ## - Ключевые слова | |
| Ключевые слова | арифметика формальная |
| 653 ## - Ключевые слова | |
| Ключевые слова | множеств теория, аксиоматические методы |
| 653 ## - Ключевые слова | |
| Ключевые слова | вычислимость эффективная |
| 653 ## - Ключевые слова | |
| Ключевые слова | арифметика формальная, доказательство непротиворечивости |
| 653 ## - Ключевые слова | |
| Ключевые слова | Тьюринга алгоритмы |
| 653 ## - Ключевые слова | |
| Ключевые слова | Маркова алгоритмы нормальные |
| 653 ## - Ключевые слова | |
| Ключевые слова | Эрбрана-Геделя вычислимость |
| 653 ## - Ключевые слова | |
| Ключевые слова | неразрешимые проблемы (мат. логика) |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | учебные издания |
| 9 (RLIN) | 712764 |
| 700 ## - Другие авторы | |
| Код авторского отношения | редактор |
| 9 (RLIN) | 175961 |
| Другие авторы | Адян, Сергей Иванович |
| Даты жизни | 1931- |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Код страны | ru |
| 856 7# - Электронный адрес документа | |
| URL | <a href="http://sun.tsu.ru/limit/2016/000074653/000074653.djvu">http://sun.tsu.ru/limit/2016/000074653/000074653.djvu</a> |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Инвентарный номер (дополнительно) | Всего выдач | Расстановочный шифр | Штрих-код | Дата последнего просмотра | Номер копии | Класс экземпляра | Коллекция | Общедоступное примечание |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Абонемент. Депозитарий | 02/04/2021 | 1.77 | 71.651.27 | 51 М501 | 13820000244953 | 02/04/2021 | 4 | 6 месяцев | ||||||
| Научная библиотека ТГУ | Абонемент. Депозитарий | 02/04/2021 | 1.77 | 51 М501 | 13820000279975 | 02/04/2021 | 11 | 6 месяцев | |||||||
| Научная библиотека ТГУ | Книгохранилище | 02/04/2021 | 1.77 | 1-068959к | 13820000301356 | 02/04/2021 | 16 | Выдается в читальный зал | |||||||
| Научная библиотека ТГУ | Книгохранилище | 02/04/2021 | 1.77 | 1-068960 Ю | 13820000305774 | 02/04/2021 | 17 | 1 месяц | |||||||
| Научная библиотека ТГУ | Книгохранилище | 18/01/2024 | 545.00 | 2-060916 | 13820001056227 | 18/01/2024 | Выдается в читальный зал | Библиотека Э. В. Денисова | Библиотека Э. В. Денисова |