Logic foundations of computer science - Adian, Segei Ivanovich, 1931-; Nerode, Anil, 1932- (Lecture notes in computer science ;, 1997)