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