
Proofs, Categories and Computations. Essays in Honor of Grigori Mints
College Publications (Publisher)
Published on 29. July 2010
Book
Paperback/Softback
322 pages
978-1-84890-012-7 (ISBN)
Description
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.
More details
Language
English
Place of publication
London
United Kingdom
Product notice
Paperback (trade)
Illustrations
black & white illustrations
Dimensions
Height: 234 mm
Width: 156 mm
Thickness: 18 mm
Weight
491 gr
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 Classification