Produktbild
Solomon (Hrsg.) Feferman

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

Buch

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 mathematic… Mehr

CHF 36.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Sieg, Wilfried (Hrsg.)
  • ISBN: 978-1-84890-012-7
  • EAN: 9781848900127
  • Produktnummer: 10306502
  • Verlag: Kings College Pubn
  • Sprache: Englisch
  • Erscheinungsjahr: 2010
  • Seitenangabe: 322 S.
  • Masse: H23.4 cm x B15.6 cm x D1.7 cm 491 g
  • Auflage: New
  • Gewicht: 491

7 weitere Werke von Solomon (Hrsg.) Feferman:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.