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.
Sprache
Verlagsort
Produkt-Hinweis
Illustrationen
black & white illustrations
Maße
Höhe: 234 mm
Breite: 156 mm
Dicke: 18 mm
Gewicht
ISBN-13
978-1-84890-012-7 (9781848900127)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Herausgeber*in
Carnegie Mellon University, Pittsburgh, USA
