Title: Issues of decidability and tractability
Subjects: Decidability (Mathematical logic), Symbolic and mathematical Logic