Articles liés à Proofs, Categories and Computations. Essays in Honor...

Proofs, Categories and Computations. Essays in Honor of Grigori Mints - Couverture souple

 
9781848900127: Proofs, Categories and Computations. Essays in Honor of Grigori Mints
Couverture souple
ISBN 10 : 1848900120 ISBN 13 : 9781848900127
Editeur : College Publications, 2010

Synopsis

Grigori Mints is one the most distinguished proof theorists of our time. He has contributed significantly not only to the subject in general but also to most of its applications. This collection of papers by a number of Mints' colleagues worldwide are both a personal tribute and a testimony to his breadth and importance by dealing with all areas in which Mints has worked: from proof-theoretical reductions through non-classical logics and category theory to automated theorem proving and proof mining, i.e., the extraction of mathematical information from formal proofs. The collection itself is significant for another reason: it bridges the two logical worlds in which Mints has worked, the world of the former Soviet Union and that of the West.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
College Publications
Date d'édition
2010
Langue
anglais
ISBN 10 
1848900120
ISBN 13 
9781848900127
Reliure
Broché
Nombre de pages
322
Éditeur
Feferman Solomon, Sieg Wilfried
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Allemagne