- We will send in 10–14 business days.
/images/books/12398824/9781848900127.jpg)
- Publisher: College Publications
- Year: 2010
- Pages: 322
- ISBN-10: 1848900120
- ISBN-13: 9781848900127
- Format: 15.6 x 23.4 x 1.7 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Proofs, Categories and Computations. Essays in Honor of Grigori Mints (e-book) (used book) | bookbook.eu
Reviews
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 22d.15:23:50
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Publisher: College Publications
- Year: 2010
- Pages: 322
- ISBN-10: 1848900120
- ISBN-13: 9781848900127
- Format: 15.6 x 23.4 x 1.7 cm, minkšti viršeliai
- Language: English English
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.
Reviews