Proofs, Categories and Computations. Essays in Honor of Grigori Mints (Paperback, New)

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.

General

Imprint:	College Publications
Country of origin:	United Kingdom
Release date:	July 2010
First published:	July 2010
Editors:	Solomon Feferman • Wilfried Sieg
Dimensions:	234 x 156 x 17mm (L x W x T)
Format:	Paperback - Trade
Pages:	322
Edition:	New
ISBN-13:	978-1-84890-012-7
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory Promotions
LSN:	1-84890-012-0
Barcode:	9781848900127

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!