Springer Monographs in Mathematics: Applied Proof Theory: Proof Interpretations and their Use in Mathematics, Ulrich Kohlenbach

Springer Monographs in Mathematics: Applied Proof Theory: Proof Interpretations and their Use in Mathematics (eBook / PDF)

Ulrich Kohlenbach

Keine Kommentare vorhanden
Jetzt ersten Kommentar schreiben!
Bewerten Sie jetzt diesen Artikel

Schreiben Sie den ersten Kommentar zu "Springer Monographs in Mathematics: Applied Proof Theory: Proof Interpretations and their Use in Mathematics".

Kommentar verfassen

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...

Produkt empfehlen

2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Facebook senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Google+ senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter oder Google in die USA übertragen und unter Umständen auch dort gespeichert. Näheres erfahren Sie durch einen Klick auf das i.


Print-Originalausgabe Fr. 160.90

eBookFr. 93.50

Sie sparen 42%

Download bestellen
Sprache: Englisch

sofort als Download lieferbar

Bestellnummer: 29661662

Verschenken
Auf meinen Merkzettel
Versandkostenfrei
Bestellungen mit diesem Artikel sind versandkostenfrei!

Das könnte Ihnen auch gefallen

Kommentare zu "Springer Monographs in Mathematics: Applied Proof Theory: Proof Interpretations and their Use in Mathematics"

Mehr Bücher des Autors

Ähnliche Artikel finden

0 Gebrauchte Artikel zu „Springer Monographs in Mathematics: Applied Proof Theory: Proof Interpretations and their Use in Mathematics“

ZustandPreisPortoZahlungVerkäuferRating