Normal view
MARC view
Введение в математическую логику учебное пособие : [для студентов математических направлений университетов] В. М. Зюзьков ; Нац. исслед. Том. гос. ун-т
Material type: TextPublication details: Томск Издательский Дом Томского государственного университета 2017Description: 257 с. ил., портр., таблISBN: 9785946216173Subject(s): математическая логика | теория множеств | пропозициональная логика | язык предикатов | аксиоматические теории | теория вычислимости | ламбда-исчисление | Геделя теоремы о неполноте | языки логики высказываний | предикаты | кванторы | математическое доказательство | формализация вычислимости | Тьюринга машины | алгоритмическая неразрешимость | задачи по математической логике | теоремы математической логикиGenre/Form: учебные издания Online resources: Click here to access onlineItem type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
1 месяц | Читальный зал. Депозитарий | 510 З-981 (Browse shelf (Opens below)) | 1 | Available | 13820000963746 | |
1 месяц | Книгохранилище | 2-042533 (Browse shelf (Opens below)) | 2 | Available | 13820000963747 | |
6 месяцев | Абонемент | 51 З-981 (Browse shelf (Opens below)) | 3 | Available | 13820000963748 | |
Выдается в читальный зал | Книгохранилище | 2-027678 (Browse shelf (Opens below)) | 4 | Available | 13820000963749 |
Библиогр.: с. 248-252
Предм. и персон. указ.: 252-257
There are no comments on this title.