Photos of Mathematicians
collected by Andrej Bauer
Richard Garner
Click photo to open full-size original
Constructive Mathematics: Proofs and Computation
Frauenörth, June 2010
← Back to index