Introduction yo yhe theory of computation - Sipser, Michael (Delhi: Cengage Learning India Pvt. Ltd., 2006)
Keywords: Decidability; Math; Mathematical notions; Terminology