Задачи по математической логике. Фролов И.С.