Applied Proof Theory: Proof Interpretations and Their Use in Mathematics - 9783540775324

Name: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Brand: Springer Verlag
Price: 75.10 EUR
Author: Kohlenbach U.
ISBN: 9783540775324

Un libro in lingua di U. Kohlenbach edito da Springer Verlag, 2008

€ 75.10
Il prezzo è variabile in funzione del cambio della valuta d’origine

Aggiungi
al carrello

Punti Accumulabili: +751

Aggiungi al Pozzo dei Desideri

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics libro in lingua di Kohlenbach U.

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.

Informazioni bibliografiche

Titolo del Libro in lingua: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Lingua: English
Autore: U. Kohlenbach
Editore: Springer Verlag
Collana: Springer Verlag (Hardcover)
Data di Pubblicazione: 01 Giugno '08
Genere: MATHEMATICS
Pagine: 532
Dimensioni mm: 247 x 171 x 31
ISBN-10: 3540775323
EAN-13: 9783540775324