Logic for Information Technology