Theory of computation - Sivanandam, S.N.; Meena, M. Janaki (New Delhi I.K. International Publications, 2009)
Keywords: Symbolic -- Computer science -- Mathematical logic