May 21, 2018  
College Catalog 2012-2013 
    
College Catalog 2012-2013 [ARCHIVED CATALOG]

MATH 369 - Advanced Symbolic Logic

Cross-Listed as  
A second course in symbolic logic which extends the methods of logic. A main purpose of this course is to study logic itself-to prove things about the system of logic learned in the introductory course. This course is thus largely logic about logic. Topics include second order logic and basic set theory; soundness, consistency and completeness of first order logic; incompleteness of arithmetic; Turing computability; modal logic; and intuitionistic logic. Alternate years. Prerequisite(s):  PHIL 120 , MATH 135  or permission of instructor (4 Credits)