Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

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

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

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781848900127
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 322
  • Veröffentlicht:
  • 29. Juli 2010
  • Abmessungen:
  • 155x232x18 mm.
  • Gewicht:
  • 490 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025

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

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.

Kund*innenbewertungen von Proofs, Categories and Computations. Essays in Honor of Grigori Mints



Ähnliche Bücher finden
Das Buch Proofs, Categories and Computations. Essays in Honor of Grigori Mints ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.