Intermediate Logic P

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 wor... » 

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. «