0 Mėgstami
0Krepšelis

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

220,20 
220,20 
2025-07-31 220.2000 InStock
Nemokamas pristatymas į paštomatus per 18-22 darbo dienų užsakymams nuo 19,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: Knyga kietu viršeliu
Kalba: Anglų
Žanras: Mathematical logic

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“