Alta reperibilità
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
- Editore:
Springer Berlin Heidelberg
- EAN:
9783540775324
- ISBN:
3540775323
- Pagine:
- 556
- Formato:
- Hardback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Applied Proof Theory: Proof Interpretations and their Use in Mathematics
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti