Fred Sommers’ Contributions to Formal Logic