Proofs, Categories and Computations. Essays in Honor of Grigori MintsSolomon Feferman, Wilfried Sieg₹2,031