"Decidable Theories II" - читать интересную книгу автора (J.R. Büchi, D. Siefkes, D. Siefkes, G.H. Müller)