Fall 2023, 80711: Below is information about CMU Fall 2023 course 80711: Proof Theory. The course number is 80711 or 80-711. The course Proof Theory(80711) in Fall 2023 has 12.0 unit. The professor Avigad is teaching the course Proof Theory(80711) in Fall 2023. The professor/instructor of Proof Theory(80711) in Fall 2023 is Avigad. The department of Proof Theory(80711) is Philosophy. The location of Proof Theory(80711) is Pittsburgh, Pennsylvania. The room of Proof Theory(80711) is PH 226C. The course happens in TR, from 12:30PM to 01:50PM in Fall 2023.
