Breadcrumb Home Mathematics and Computer Science MTH 303 MTH 303: Mathematical Logic Download as PDF Class Program Mathematics and Computer Science Credits 3 Session Cycle Spring Only Yearly Cycle Even Year A thorough treatment of the techniques of formal reasoning. Topics include truth-functional logic, quantification logic and construction of correct deductions. Required Prerequisites MTH 105, MTH 120 or MTH 220.