Fundraising September 15, 2024 – October 1, 2024 About fundraising

О классификации счетных булевых термов

Main
О классификации счетных булевых термов

О классификации счетных булевых термов

Селиванов В.Л.

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Алгебра и логика, 44, № 2 (2005), 173-197

Year:

2005

Language:

russian

Pages:

25

File:

PDF, 261 KB

IPFS:

,

russian, 2005

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

Скорняков Л. А. — Элементы теории структур

Барендрегт, Хендрик Питер — Ламбда-исчисление Его синтаксис и семантика

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика

Невё Ж.(Neveu J.) — Математические основы теории вероятностей

Кон П. (Cohn P.M.) — Универсальная алгебра

Бурбаки Н. — Общая топология. Основные структуры

Цаленко М.С., Шульгейфер Е.Г. — Лекции по теории категорий

Владимиров Д.А. — Булевы алгебры

Фейс К. — Алгебра- кольца, модули и категории

Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика

Феферман С. — Числовые системы

Акилов Г.П., Макаров Б.М., Хавин В.П. — Элементарное введение в теорию интеграла

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Марат М. Арсланов — Иерархия Ершова. Спецкурс для студентов мехмата

Марат М. Арсланов — Иерархия множеств и степеней, расположенных ниже

Мендельсон Эллиот — Введение в математическую логику

Солтан В.П. — Введение в аксиоматическую теорию выпуклости

Бертсекас Д., Шрив С. — Стохастическое оптимальное управление: случай дискретного времени. Stochastic Optimal Control. The Discrete Time Case.

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика.

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория моделей.

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. III. Теория рекурсии

Султанбеков Ф.Ф. — От решёток к булевым алгебрам

Подзоров С.Ю. — Дополнительные главы теории вычислимости. Учебное пособие по спецкурсу

Чашкин А.В. — Лекции по дискретной математике

Дудаков С.М. — Основы теории моделей

Грызлов А.А. (отв. ред.) — Теория множеств и топология. Выпуск 1

Царьков И.Г. — Математический анализ

Дудаков С.М — Основы теории моделей

Ершов Ю.Л — Теория нумераций

Барендрегт Х. — Ламбда-исчисление Его синтаксис и семантика

Биркгоф Г. — Теория решёток

Гретцер Г. — Общая теория решеток

Скорняков Л.А. — Элементы общей алгебры

Цаленко М.Ц., Шульгейфер Е.Г. — Лекции по теории категорий

Кон П. — Универсальная алгебра

Most frequently terms