Science and Mathematics

Symbolic Logic

Mathematics 303

A thorough treatment of the techniques of formal reasoning. Topics include truth-functional logic, quantification logic and construction of correct deductions.