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