Proofs, Categories and Computations. Essays in Honor of Grigori Mints Feferman Solomon Heftet / 2010 / Engelsk
