Fall 2023, 15657: Below is information about CMU Fall 2023 course 15657: Constructive Logic. The course number is 15657 or 15-657. The course Constructive Logic(15657) in Fall 2023 has 9.0 unit. The professor Crary is teaching the course Constructive Logic(15657) in Fall 2023. The professor/instructor of Constructive Logic(15657) in Fall 2023 is Crary. The department of Constructive Logic(15657) is Computer Science. The location of Constructive Logic(15657) is Pittsburgh, Pennsylvania. The room of Constructive Logic(15657) is DH 2122. The course happens in T, from 09:00AM to 09:50AM in Fall 2023.
