Applied Proof Theory: Proof Interpretations and their Use in Mathematics 1

Vetenskap & teknik

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Name: Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Price: 1949 SEK
Availability: InStock
Author: Ulrich Kohlenbach
ISBN: 9783540775324

Ulrich Kohlenbach

Inbunden

1949:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Pocket/Paperback 1949:-

536 sidor
2008

This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story.

Författare: Ulrich Kohlenbach
Format: Inbunden
ISBN: 9783540775324
Språk: Engelska
Antal sidor: 536
Utgivningsdatum: 2008-05-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K