Шестой том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии Сибирская школа алгебры и логики под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке Kluwer Academic/Plenum Publishers.
Представлена теория конструктивных (рекурсивных) моделей на основе методов, подходов и результатов, полученных в рамках Сибирской школы алгебры и логики, а также некоторые близкие результаты других математиков.
Для исследователей в области математической логики и приложений.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже