libcats.org
Главная

Конечно аксиоматизируемые теории

Обложка книги Конечно аксиоматизируемые теории

Конечно аксиоматизируемые теории

Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота - Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb

Ты мне расскажешь?

Автор:
Размер книги: 69 Kb

Тактические учения

Автор:
Размер книги: 46 Kb

Complete Lyrics of all Songs

Автор:
Категория: Поэзия
Размер книги: 227 Kb

Dick, Philip K - Solar Lottery

Автор:
Размер книги: 351 Kb

Vampire 02 - When Darkness Falls

Автор:
Размер книги: 389 Kb

Ольга Будянская. Никто, кроме него

Автор:
Размер книги: 272 Kb

Задачи мудрецов

Автор:
Размер книги: 3.81 Mb