Varma, G.P. Sradhi Theory of computation formal languages and automata theory G.P. Saradhi Varma, B. Thirupathi Rao. - Chennai Scitech 2009 - varying pagination: ill.; 24cm. ISBN: 8188429945 Subjects--Topical Terms: Mathematical logic Symbolic logic. Dewey Class. No.: 005.131 / V30T