Title: Decidable Theories : Vol. 2