Proofs, Categories and Computations. Essays in Honor of Grigori Mints 12+

📙 Grigori Mints is one the most distinguished proof theorists ofour time. He has contributed significantly not only to thesubject in general but also to most of its applications.This collection of papers by a number of Mints' colleaguesworldwide are both a personal tribute and a testimony to hisbreadth and importance by dealing with all areas in whichMints has worked: from proof-theoretical reductions throughnon-classical logics and category theory to automatedtheorem proving and proof mining, i.e., the extraction ofmathematical information from formal proofs.The collection itself is significant for another reason: it bridgesthe two logical worlds in which Mints has worked, the world ofthe former Soviet Union and that of the West.