TY - BOOK AU - Lewis Harry R TI - Elements of the theory of computation SN - 81-203-1016-0 PY - 1999/// CY - New delhi PB - Prentice Hall of India KW - mathematical logic ER -