Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

-15% su kodu: ENG15
187,17 
Įprasta kaina: 220,20 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
187,17 
Įprasta kaina: 220,20 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 220.2000 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Knygos aprašymas

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.

Informacija

Autorius: Ulrich Kohlenbach
Serija: Springer Monographs in Mathematics
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 2008
Knygos puslapių skaičius: 556
ISBN-10: 3540775323
ISBN-13: 9783540775324
Formatas: 241 x 160 x 35 mm. Knyga kietu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Applied Proof Theory: Proof Interpretations and their Use in Mathematics“

Būtina įvertinti prekę

Goodreads reviews for „Applied Proof Theory: Proof Interpretations and their Use in Mathematics“