My 2c: I don't know how long or good those particular courses are. They do sound short. (There are many good books on those and similar topics) But if you think, talk, engage in conversations/debates/arguments, write (which I think everyone does) you can't but help 'using the knowledge practically', I should think. The more you understand arguments, fallacies, inductive and deductive reason, the better.
The logic one sounds less practically useful in everyday life (except maybe in analytic philosophy, computer science or linguistics.) The thinking course probably would cover the logic useful in everyday thinking/talking/writing. I hadn't heard of Herbrand logic, but judging by [0] it sounds more like the kind of thing used in programming (lambda calculus/functions and BNF/parsers/compilers) than in traditional logic. But sure, if you find it fascinating, go for it.
[0] http://intrologic.stanford.edu/notes/chapter_09.html