Introduction to automata theory, Languages and computation - Hopcroft, John E; Ullman, Jeffery D (Narosa Publishing House, New Delhi, 2001)
Keywords: Symbolic logic