i need symbolic logic and logic programming notes urgently