Marknadens största urval
Snabb leverans
Om 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521779111
  • Format:
  • Häftad
  • Sidor:
  • 432
  • Utgiven:
  • 27. juli 2000
  • Utgåva:
  • 2
  • Mått:
  • 153x229x26 mm.
  • Vikt:
  • 642 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 17. december 2024

Beskrivning av 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.

Användarnas betyg av Basic Proof Theory



Hitta liknande böcker
Boken Basic Proof Theory finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.