Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Basic Proof Theory

Basic Proof Theory

von A. S. (Universiteit van Amsterdam) Troelstra

enthalten in Cambridge Tracts in Theoretical Computer Science-Reihe

Basic Proof Theory von A. S. (Universiteit van Amsterdam) Troelstra
Über Basic Proof Theory

This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780521779111
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 432
  • Veröffentlicht:
  • 27. Juli 2000
  • Ausgabe:
  • 2
  • Abmessungen:
  • 153x229x26 mm.
  • Gewicht:
  • 642 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über A. S. (Universiteit van Amsterdam) Troelstra

Alle Bücher von A. S. (Universiteit van Amsterdam) Troelstra anzeigen

Beschreibung von Basic Proof Theory

This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Kund*innenbewertungen von Basic Proof Theory



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Basic Proof Theory 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.