Udvidet returret til d. 31. januar 2025

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

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

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642096273
  • Indbinding:
  • Paperback
  • Sideantal:
  • 536
  • Udgivet:
  • 21. oktober 2010
  • Udgave:
  • 12008
  • Størrelse:
  • 235x155x29 mm.
  • Vægt:
  • 842 g.
  • BLACK WEEK
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 10. december 2024

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

Brugerbedømmelser af Applied Proof Theory: Proof Interpretations and their Use in Mathematics



Find lignende bøger
Bogen Applied Proof Theory: Proof Interpretations and their Use in Mathematics findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.