Brandeis University

    PHIL 106B: Mathematical Logic

    Instructor: Casey Rufener
    Prerequisites: None
    Course Description: <b>This course will be a 10-week Asynchronous Online course for Summer 2022</b><br> Covers in detail several of the following proofs: the Gödel Incompleteness Results, Tarski's Undefinability of Truth Theorem, Church's Theorem on the Undecidability of Predicate Logic, and Elementary Recursive Function Theory.
    Session: Extended
    Day: Online
    Time: Asynchronous
    Credit Hours: 4 Credits
    Course Format: 10-week Asynchronous Online for Summer 2022
    Brandeis Graduation Requirement Fulfilled: HUM, SN
    Enrollment Limit: 20 students
    Course Classification: Undergraduate Level Course
    Course Tuition: $3,290
    Course Fees: None
    Open to High School Students: No