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:
  • 9780192895943
  • Bindende:
  • Paperback
  • Sider:
  • 432
  • Utgitt:
  • 17. august 2021
  • Dimensjoner:
  • 233x157x26 mm.
  • Vekt:
  • 666 g.
  • BLACK NOVEMBER
  På lager
Leveringstid: 4-7 virkedager
Forventet levering: 12. desember 2024
Utvidet returrett til 31. januar 2025

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.