Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Basic Proof Theory

Basic Proof Theory

av A. S. (Universiteit van Amsterdam) Troelstra

del av Cambridge Tracts in Theoretical Computer Science-serien

Basic Proof Theory av A. S. (Universiteit van Amsterdam) Troelstra
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.
  I lager
Leveranstid: 4-7 vardagar
Förväntad leverans: 8 Oktober 2024

Om A. S. (Universiteit van Amsterdam) Troelstra

Se alla böcker av A. S. (Universiteit van Amsterdam) Troelstra

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



Andra köpte även...
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.