Utvidet returrett til 31. januar 2025

An Introduction to Proof Theory

- Normalization, Cut-Elimination, and Consistency Proofs

Om An Introduction to Proof Theory

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780192895936
  • Bindende:
  • Hardback
  • Sider:
  • 432
  • Utgitt:
  • 17. august 2021
  • Dimensjoner:
  • 241x165x31 mm.
  • Vekt:
  • 812 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: Ukjent

Beskrivelse av An Introduction to Proof Theory

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Brukervurderinger av An Introduction to Proof Theory



Finn lignende bøker
Boken An Introduction to Proof Theory finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.