Proofs, categories and computations ...
Mints, G. E.

 

  • Proofs, categories and computations : = essays in honor of Grigori Mints /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Proofs, categories and computations :/ edited by Solomon Feferman and Wilfried Sieg ; with the collaboration of Vladik Kreinovich, Vladimir Lifschitz and Ruy de Queiroz.
    Reminder of title: essays in honor of Grigori Mints /
    other author: Feferman, Solomon.
    Published: London :College Publications, : c2010.,
    Description: x, 310 p. :ill. ; : 24 cm.;
    Subject: Proof theory. -
    ISBN: 9781848900127 (pbk.) :
Items
  • 1 records • Pages 1 •
  • 1 records • Pages 1 •
Reviews
Export
pickup library
 
 
Change password
Login