Oct 16, 2018  
Undergraduate Catalog 2017-2018 
    
Undergraduate Catalog 2017-2018 [ARCHIVED CATALOG]

PHILO 37500 - Advanced Symbolic Logic


GER
3/B

A survey of the central results and techniques of meta-logic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem theorem and Church’s theorem on undecidability.
prereq: PHIL 27500 or equiv.
3 hrs
3 cr.