Logic for Applications (Texts in Computer Science)