Книга открывает учрежденную в 1995 г Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные ∑-определимости, динамической логике, ∑-предикатам конечных типов и т.д.
Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.









Подписаться на RSS ленту ГДЗ, ЕГЭ, ГИА, подготовка к экзаменам, книги, готовые домашние задания, наука и обучение, анекдоты, презентации, словари, все для преподавателей, школьников для всех классов и студентов всех курсов. А ты Нашёл то, что тебе нужно?