Elements of the theory of Computation - Lewis, Harry R.; Papadimitriou, Christos H. (New Delhi PHI Learning, 1998)
Keywords: Machine theory. -- Formal languages. -- Logic, Symbolic and mathematical