Logic for Artificial Intelligence and Information Technology (Texts in Computer Science)