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

By Wilfried Sieg

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.

• Format: Paperback
• Language: English
• ISBN: 1848900120
• ISBN13: 9781848900127
• Release Date: July 2010
• Publisher: College Publications
• Length: 322 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"