Logic for applications - Nerode, Anil ((Graduate Texts in Computer Science))