CP 507

Overview of Logic

This course is a basic overview of logic. The basic principles and definitions of logic and the use of statements as proofs are considered.