Logic for applications - Nerode, Anil, 1932- (Texts and monographs in computer science, 1993)