Л. М. Лихтарников

Математическая логика. Курс лекций. Задачник-практикум и решения