Proofs, Categories and Computations. Essays in Honor of Grigori Mints
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
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.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Taschenbuch
- 544 Seiten
- Erschienen 2010
- Suhrkamp Verlag
- Taschenbuch
- 272 Seiten
- Erschienen 2016
- Dover Publications Inc.
- Hardcover -
- Erschienen 2016
- De Gruyter
- Hardcover
- 240 Seiten
- Erschienen 2002
- Springer
- Hardcover
- 134 Seiten
- Erschienen 2023
- Carl Hanser Verlag GmbH & C...
- Hardcover
- 432 Seiten
- Erschienen 2002
- Cambridge University Press
- Hardcover
- 584 Seiten
- Erschienen 2012
- Springer
- Hardcover
- 252 Seiten
- Erschienen 1980
- Springer
- Hardcover
- 180 Seiten
- Erschienen 2006
- Cambridge University Press
- Hardcover
- 392 Seiten
- Erschienen 1981
- Springer