Proofs, Categories and Computations. Essays in Honor of Grigori Mints - Solomon Feferman - Häftad | Bokus