You could look at Clojure, Scheme, and Common Lisp. I do not know whether they fit your cognitive preferences, but they stress logic. Resources online are The Lisp Cookbook, Clojure for the Brave And True, and the Racket Tutorials. Some Lisp programmers are excellent writers and teachers!