|
Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory
|
Buy Now
Proofs, Categories and Computations. Essays in Honor of Grigori Mints (Paperback, New)
Loot Price: R858
Discovery Miles 8 580
|
|
|
Proofs, Categories and Computations. Essays in Honor of Grigori Mints (Paperback, New)
Expected to ship within 10 - 15 working days
|
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
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
