Определимость и вычислимость
Main Author: | Ершов, Юрий Леонидович 1940- |
---|---|
Format: | Book |
Language: | Russian |
Published: |
Новосибирск
Научная книга
1996
|
Series: | Сибирская школа алгебры и логики
|
Subjects: | |
Online Access: | Перейти в каталог НБ ТГУ |
Similar Items
-
Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" [учебное пособие для студентов и аспирантов]
by: Лупанов, Олег Борисович
Published: (2007) -
Математическая логика и теория алгоритмов учебное пособие : [для курса "Математическая логика и теория алгоритмов" направлений подготовки бакалавров "Информатика и вычислительная техника" и "Управление в технических системах"]
by: Зюзьков, Валентин Михайлович
Published: (2015) -
Введение в математическую логику учебное пособие : [для студентов математических направлений университетов]
by: Зюзьков, Валентин Михайлович
Published: (2017) -
Введение в метаматематику
by: Клини, Стивен Коул 1909-1994
Published: (2009) -
Лекции по дискретной математике
Published: (2021)