Total number of photos: 24125

Mathematical Logic: Proof Theory, Constructive Mathematics: 2008-04-06 - 2008-04-12

For more detailed information please click on the photo.