Intermediate Logic

This text acts as a general guide for students taking a second course in logic after completing a basic introduction. It provides a preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory.