Create mathlogic.clj

Mathematical logic in clojure