This chapter of A Modern Formal Logic Primer covers the use of semantics and validity in logic. There are exercises at the end of each concept within the chapter and a list of important terms is provided at the end of the chapter.
Algebra
TEXTBOOK MODULE
Undergraduate