Decidable Theories : Vol. 2by G. H. Müller, J. R. Büchi, D. SiefkesWriting a summary for young readers…For young readersBook data: Open Library