Sipser, Michael.

Introduction yo yhe theory of computation / by Michael Sipser - 2nd ed. - Delhi: Cengage Learning India Pvt. Ltd., 2006. - xvii, 437p.

9788131517505


Decidability
Math
Mathematical notions
Terminology

511.3 / SIP/I