Title: The classical decision problem
Subjects: Decidability (Mathematical logic)