Sipser, Michael creator text New Dehli Cengage Learning 2013 monographic xxii, 458 p. : ill. 23 cm. Includes index. Machine theory Computer science Mathematical notions Computational complexity Finite automata Hilbert's problems Diagonalization methods Complexity theory Reducibility Decidability FBSH 511.35 SIP 9788131525296 (pbk) 8131525295 (pbk)