This chapter of A Modern Formal Logic Primer discusses the use of transcription and quantifiers in predicate 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