Normal view
MARC view
Введение в математическую логику (Record no. 129546)
[ view plain ]
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 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Читальный зал 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 | Выдается в читальный зал |