Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Введение в математическую логику (Record no. 129546)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 02474nam a2200505 c 4500
001 - Контрольный номер
Контрольное поле vtls000581547
005 - Дата корректировки
Контрольное поле 20220329144258.0
006 - Дополнительные элементы данных фиксированной длины
Контрольное поле постоянной длины m o d
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr |
008 - Кодируемые данные
Контрольное поле постоянной длины 170906s2017 ru ac sb 001 0 rus d
020 ## - Индекс ISBN
ISBN 9785946216173
035 ## - Системный контрольный номер
Системный контрольный номер to000581547
040 ## - Источник каталогиз.
Служба первич. каталог. RU-ToGU
Код языка каталог. rus
Служба, преобразующая запись RU-ToGU
080 ## - Индекс УДК
Индекс УДК 510.6(075.8)
100 1# - Автор
Автор Зюзьков, Валентин Михайлович
9 (RLIN) 68848
245 10 - Заглавие
Заглавие Введение в математическую логику
Продолж. заглавия учебное пособие : [для студентов математических направлений университетов]
Ответственность В. М. Зюзьков ; Нац. исслед. Том. гос. ун-т
260 ## - Выходные данные
Место издания Томск
Издательство Издательский Дом Томского государственного университета
Дата издания 2017
300 ## - Физическое описание
Объем 257 с.
Иллюстрации/тип воспроизводства ил., портр., табл.
504 ## - Библиография
Библиография Библиогр.: с. 248-252
504 ## - Библиография
Библиография Предм. и персон. указ.: 252-257
653 ## - Ключевые слова
Ключевые слова математическая логика
653 ## - Ключевые слова
Ключевые слова теория множеств
653 ## - Ключевые слова
Ключевые слова пропозициональная логика
653 ## - Ключевые слова
Ключевые слова язык предикатов
653 ## - Ключевые слова
Ключевые слова аксиоматические теории
653 ## - Ключевые слова
Ключевые слова теория вычислимости.
653 ## - Ключевые слова
Ключевые слова ламбда-исчисление
653 ## - Ключевые слова
Ключевые слова Геделя теоремы о неполноте
653 ## - Ключевые слова
Ключевые слова языки логики высказываний
653 ## - Ключевые слова
Ключевые слова предикаты
653 ## - Ключевые слова
Ключевые слова кванторы
653 ## - Ключевые слова
Ключевые слова математическое доказательство
653 ## - Ключевые слова
Ключевые слова формализация вычислимости
653 ## - Ключевые слова
Ключевые слова Тьюринга машины
653 ## - Ключевые слова
Ключевые слова алгоритмическая неразрешимость
653 ## - Ключевые слова
Ключевые слова задачи по математической логике
653 ## - Ключевые слова
Ключевые слова теоремы математической логики
655 #4 - Термин индексирования — жанр/форма
Жанр/форма учебные издания
9 (RLIN) 712764
710 2# - Другие организации
Организация/юрисдикция Томский государственный университет
9 (RLIN) 53646
852 4# - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
Полочный индекс 51
Авторский знак З-981
Код страны ru
856 7# - Электронный адрес документа
URL <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000581547">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000581547</a>
908 ## - Параметр входа данных
Параметр входа данных учебник
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 129546
Holdings
Не выдается Отсутствует на месте Поврежден Исходное место хранения Местоположение Дата поступления Цена Всего выдач Расстановочный шифр Штрих-код Номер копии Класс экземпляра
      Научная библиотека ТГУ Читальный зал 5 03/04/2021 800.00   510 З-981 13820000963746 1 Выдается по месту хранения
      Научная библиотека ТГУ Книгохранилище 03/04/2021 800.00   2-042533 13820000963747 2 1 месяц
      Научная библиотека ТГУ Абонемент 03/04/2021 800.00   51 З-981 13820000963748 3 6 месяцев
      Научная библиотека ТГУ Книгохранилище 03/04/2021 800.00   2-027678 13820000963749 4 Выдается в читальный зал