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 v

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 https://archive.org/details/principleslogic00joycuoft