Вычислимо перечислимые множества и степени: пер. с англ.

Вычислимо перечислимые множества и степени: пер. с англ.

Bibliographic Details
Main Author:	Соар Р. И. Роберт И.
Language:	Russian
Published:	Казань, Казанское математическое общество, 2000
Subjects:	математика множества степени вычислимость теория понятия проблема Поста решетки автоморфизмы
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=24809

Similar Items

Рекурсивно перечислимые множества и степени неразрешимости
by: Арсланов М. М. Марат Мирзаевич
Published: (Казань, Изд-во Казанского ун-та, 1986)

Упорядоченные множества: пер. с чеш.
by: Беран Л. Ладислав
Published: (Москва, Наука, 1981)

Рекурсивно перечислимые множества и сводимости табличного типа
by: Дегтев А. Н. Александр Николаевич
Published: (Москва, Наука, 1998)

Конструктивные модели
by: Гончаров С. С. Сергей Савостьянович
Published: (Новосибирск, Научная книга, 1999)

Математическая логика: пер. с англ.
by: Клини С. К. Стефан Коул
Published: (Москва, Мир, 1973)

Замкнутые классы булевых функций
by: Марченков С. С. Сергей Серафимович
Published: (Москва, Физматлит, 2000)

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, Ин-т математики СО АН СССР, 1991)

Современная прикладная алгебра: учебное пособие; пер. с англ.
by: Биркгоф Г. Гаррет
Published: (СПб. [и др.], Лань, 2005)

Перечислимые множества: учебное пособие
by: Дегтев А. Н. Александр Николаевич
Published: (Новосибирск, Изд-во НГУ, 1980)

Современная прикладная алгебра: пер. с англ.
by: Биркгоф Г.
Published: (Москва, Мир, 1976)

Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры
by: Гуров С. И. Сергей Исаевич
Published: (Москва, УРСС, 2012)

Математическая логика: пер. с англ.
by: Клини С. К. Стивен Коул
Published: (Москва, Едиториал УРСС, 2005)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
by: Катленд Н. Найджел
Published: (Москва, Мир, 1983)

№ 1 : Приложение; Квант; Комбинаторика и логика
Published: (2003)

Теория графов: пер. с англ.
by: Оре О. Ойстин
Published: (Москва, Наука, 1968)

Т. 18: [обзоры]; Современные проблемы математики
Published: (1981)

Определимость и вычислимость
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Экономика, 2000)

Вып. 51: Квазигруппы и лупы; Математические исследования
Published: (1979)

Вып. 120: Математические исследования. Бинарные и п-Арные квазигруппы; Математические исследования
Published: (1991)

Этюды по комбинаторной геометрии и теории выпуклых тел: пер. с англ.
by: Грюнбаум Б. Бранко
Published: (Москва, Наука, 1971)

Множества. Логика. Аксиоматические теории: пер. с англ.
by: Столл Р. Р. Роберт Р.
Published: (Москва, Просвещение, 1968)

Занимательная математика. Множества и отношения
by: Дунаев В. В. Вадим Вячеславович
Published: (СПб., БХВ-Петербург, 2008)

Конструктивные множества и их приложения: пер. с англ.; [монография]
by: Мостовский А. Анджей
Published: (Москва, Мир, 1973)

Программирование. Математические основы, средства, теория: учебное пособие
by: Лавров С. С. Святослав Сергеевич
Published: (СПб., БХВ-Петербург, 2001)

Общая теория систем: математические основы: пер. с англ.
by: Месарович М.
Published: (Москва, Мир, 1978)

Изоморфизмы классических групп над целостными кольцами: Сборник статей
Published: (Москва, Мир, 1980)

Предельные множества
by: Носиро К.
Published: (Москва, Изд-во иностранной литературы, 1963)

Решеточно упорядоченные группы
by: Копытов В. М. Валерий Матвеевич
Published: (Москва, Наука, 1984)

Теория аналитических функций многих комплексных переменных
by: Фукс Б. А. Борис Абрамович
Published: (Москва, ОГИЗ, 1948)

Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
by: Шенфилд Дж. Джозеф
Published: (Москва, Наука, 1977)

Группы преобразований в дифференциальной геометрии: пер. с англ.
by: Кобаяси Ш. Шосичи
Published: (Москва, Наука, 1986)

Полиномиальные достаточные условия реализуемости гиперграфа на плоскости; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 2: Математика и механика. Физика
by: Быкова В. В.
Published: (2009)

Общая теория решеток: пер. с англ.
by: Гретцер Г. Георг
Published: (Москва, Мир, 1982)

Интуиция и математика
by: Босс В.
Published: (Москва, Едиториал УРСС, 2008)

Многообразия групп: пер. с англ.
by: Нейман Х. Ханна
Published: (Москва, Мир, 1969)

Исследования алгебраических систем: сборник научных трудов
Published: (Свердловск, УрГУ, 1989)

Случайные множества и интегральная геометрия: пер. с англ.
by: Матерон Ж. Жорж
Published: (Москва, Мир, 1978)

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств
by: Каллибеков С. Сейтиняз
Published: (Ташкент, Фан, 1983)