Задачи по математической логике: примеры и решения