[danielam]

Joyce's "Principles of Logic"[0] is also worth a read in this vein. Also, Fred Sommers and George Englebretsen have done some interesting work with an updated version of term logic called term functor logic.

[0] https://archive.org/details/principleslogic00joycuoft