Fr. 56.30

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

Englisch · Taschenbuch

Versand in der Regel in 2 bis 3 Wochen (Titel wird auf Bestellung gedruckt)

Beschreibung

Mehr lesen










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

Mitarbeit Solomon Feferman (Herausgeber), Wilfried Sieg (Herausgeber)
Verlag College Publications
 
Sprache Englisch
Produktform Taschenbuch
Erschienen 29.07.2010
 
EAN 9781848900127
ISBN 978-1-84890-012-7
Seiten 322
Abmessung 156 mm x 234 mm x 18 mm
Gewicht 491 g
Serien Tributes
Tributes
Thema Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen

Kundenrezensionen

Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.

Schreibe eine Rezension

Top oder Flop? Schreibe deine eigene Rezension.

Für Mitteilungen an CeDe.ch kannst du das Kontaktformular benutzen.

Die mit * markierten Eingabefelder müssen zwingend ausgefüllt werden.

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.