Total number of photos: 24092

Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics: 2005-03-20 - 2005-03-26

Yiannis N. Moschovakis, Helmut Schwichtenberg, Samuel Buss

- Y. N. Moschovakis
- H. Schwichtenberg
- S. Buss
- (2005)

- Mathematical Logic: Proof Theo...
- (2005)

For more detailed information please click on the photo.