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