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... This description may be from another edition of this product.