Ершов Ю.Л. Определимость и вычислимость

В книге дается новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные ?-определимости, динамической логике, ?-предикатам конечных типов. Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию,... (Подробнее)