... TA'd both symbolic logic and mathematical logic courses, and, like, ... having an academic background in formal logic helps, it's only ... re determined to read a formal logic textbook, then I guess ... ; Etchemendy Language, Proof & Logic book, due to its balance ...