Total number of photos: 24092

Mathematical Logic: Proof Theory, Constructive Mathematics: 2017-11-05 - 2017-11-11

Michael Rathjen, Ulrich Kohlenbach, Rosalie Iemhoff, Samuel Buss
    • M. Rathjen
    • U. Kohlenbach
    • R. Iemhoff
    • S. Buss
    • (2017)
 		Anton Freund
    • A. Freund
    • (2017)
 		Martin Krombholz
    • M. Krombholz
    • (2017)
 		Fedor Pakhomov
    • F. Pakhomov
    • (2017)
Andrei Sipos
    • A. Sipos
    • (2017)
    • Proof Theory, Constructive Ma...
    • (2017)

For more detailed information please click on the photo.