Основные задачи математической логики: Примеры и решения