TY  - BOOK
AU  - Sipser, Michael.
TI  - Introduction yo yhe theory of computation
SN  - 9788131517505
U1  - 511.3 
PY  - 2006///
CY  - Delhi: 
PB  - Cengage Learning India Pvt. Ltd., 
KW  - Decidability
KW  - Math
KW  - Mathematical notions
KW  - Terminology
ER  -