TY - BOOK AU - Martin,John C . TI - Introduction to languages and the theory of computation / U1 - 005.131 PY - 1997/// CY - New Delhi : PB - Tata Mc Graw Hill Publishing Company , KW - Computation theory KW - mathamatical logic KW - Programming Languages ER -