Normal view
MARC view
Введение в математическую логику учебное пособие : [для студентов математических направлений университетов] В. М. Зюзьков ; Нац. исслед. Том. гос. ун-т
Material type:
TextPublication details: Томск Издательский Дом Томского государственного университета 2017Description: 257 с. ил., портр., таблISBN: 9785946216173Subject(s): математическая логика | теория множеств | пропозициональная логика | язык предикатов | аксиоматические теории | теория вычислимости | ламбда-исчисление | Геделя теоремы о неполноте | языки логики высказываний | предикаты | кванторы | математическое доказательство | формализация вычислимости | Тьюринга машины | алгоритмическая неразрешимость | задачи по математической логике | теоремы математической логикиGenre/Form: учебные издания Online resources: Click here to access online
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| Выдается по месту хранения | Научная библиотека ТГУ Читальный зал 5 | 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.
Log in to your account to post a comment.