A Modern Formal Logic Primer by Dr. Paul Teller at UC Davis, Volume I presents sentence logic. Volume II, Part 1 lays out predicate logic; Part 2 introduces metatheory