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

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

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: (Москва, Физматлит, 2000)

Упорядоченные множества и решетки учебное пособие для вузов
by: Вечтомов Е. М.
Published: (Санкт-Петербург, Лань, 2024)

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

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

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

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

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

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

Теоретические и практические основы поста в Исламе
by: Абдурраззак А. А.
Published: (Уфа, БГПУ имени М. Акмуллы, 2017)

Задачи по дискретной математике (I семестр) учебно-методическое пособие
by: Чирков А. Ю.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

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

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

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

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

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

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

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

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

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

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

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

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

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

Множества Жюлиа и множества Мандельброта учебное пособие для вузов
by: Секованов В. С.
Published: (Санкт-Петербург, Лань, 2025)

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

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

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

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

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

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

Булевы алгебры и булевы функции. Дополнительные главы дискретной математики учебное пособие
by: Пинус А. Г.
Published: (Новосибирск, НГТУ, 2022)

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

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

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

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

Математическая логика: учебное пособие для вузов
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Физматлит, 2011)