Total number of photos: 21235

Mathematical Logic: Proof theory, Constructive Mathematics: 2014-11-16 - 2014-11-22

For more detailed information please click on the photo.