TY - BOOK AU - Lewis,Harry R. AU - Papadimitriou,Christos H. TI - Elements of the theory of computation SN - 9788120322332 AV - QA267 .L49 1998 U1 - 511.3 21 PY - 1998/// CY - Upper Saddle River, N.J. PB - Prentice-Hall KW - Machine theory KW - Formal languages KW - Computational complexity KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references and index ER -