hi .. cn i get ebook for Symbolic logic and logic programming??