Describir: Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov