Introduction to languages and the theory of computation - Martin, John C. (New Delhi : Tata McGraw Hill Education, 2003)
Includes index.
Keywords: MATHEMATICAL LOGIC