Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Введение в математическую логику учебное пособие : [для студентов математических направлений университетов] В. М. Зюзьков ; Нац. исслед. Том. гос. ун-т

By: Зюзьков, Валентин МихайловичContributor(s): Томский государственный университетMaterial type: TextTextPublication details: Томск Издательский Дом Томского государственного университета 2017Description: 257 с. ил., портр., таблISBN: 9785946216173Subject(s): математическая логика | теория множеств | пропозициональная логика | язык предикатов | аксиоматические теории | теория вычислимости | ламбда-исчисление | Геделя теоремы о неполноте | языки логики высказываний | предикаты | кванторы | математическое доказательство | формализация вычислимости | Тьюринга машины | алгоритмическая неразрешимость | задачи по математической логике | теоремы математической логикиGenre/Form: учебные издания Online resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
No cover image available
2-042530 Экологическая геодинамика учебник : [по направлению 020300 "Геология" и специальности 020306 "Экологическая геология"] 2-042531 Болота Западной Сибири книга-альбом 2-042532 Стратиграфия нефтегазоносных бассейнов Сибири. Юрская система 2-042533 Введение в математическую логику учебное пособие : [для студентов математических направлений университетов] 2-042534 Общая физическая подготовка практикум : [для студентов факультетов физической культуры, преподавателей высших и средних специальных учебных заведений] 2-042535 Рекомендации по реабилитации при заболеваниях органов дыхания [пер. с англ. 2-042536 Биология промысловых зверей России [учебное пособие для студентов вузов по специальности 011600 "Биология" специализация "Охотоведение"]

Библиогр.: с. 248-252

Предм. и персон. указ.: 252-257

There are no comments on this title.

to post a comment.