Fall 2023, 15836: Below is information about CMU Fall 2023 course 15836: Substructural Logics. The course number is 15836 or 15-836. The course Substructural Logics(15836) in Fall 2023 has 12.0 unit. The professor Pfenning is teaching the course Substructural Logics(15836) in Fall 2023. The professor/instructor of Substructural Logics(15836) in Fall 2023 is Pfenning. The department of Substructural Logics(15836) is Computer Science. The location of Substructural Logics(15836) is Pittsburgh, Pennsylvania. The room of Substructural Logics(15836) is GHC 4215. The course happens in TR, from 09:30AM to 10:50AM in Fall 2023.
