Simple Formal Logic by Arnold Vander Nat