Total number of photos: 24092

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting): 2020-11-08 - 2020-11-14

For more detailed information please click on the photo.