Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783642096273
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 536
  • Veröffentlicht:
  • 21. Oktober 2010
  • Ausgabe:
  • 12008
  • Abmessungen:
  • 235x155x29 mm.
  • Gewicht:
  • 842 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von 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.

Kund*innenbewertungen von Applied Proof Theory: Proof Interpretations and their Use in Mathematics



Ähnliche Bücher finden
Das Buch Applied Proof Theory: Proof Interpretations and their Use in Mathematics ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.