Lewis Harry R Elements of the theory of computation - New delhi Prentice Hall of India 1999 - xiv.466p;22.5cm ISBN: 81-203-1016-0 Subjects--Topical Terms: mathematical logic