Textbook on automata theory - Srimani, P K; Nasir, S F B (Cambridge University Press India Pvt Ltd, 2008)
Keywords: Symbolic logic