Title: Decidable Theories : Vol. 1