Logic for applications - Nerode, Anil, 1932- (Graduate texts in computer science, 1997)