De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

An Introduction to Proof Theory

- Normalization, Cut-Elimination, and Consistency Proofs

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780192895936
  • Indbinding:
  • Hardback
  • Sideantal:
  • 432
  • Udgivet:
  • 17. august 2021
  • Størrelse:
  • 241x165x31 mm.
  • Vægt:
  • 812 g.
  • Ukendt - mangler pt..
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af 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.

Brugerbedømmelser af An Introduction to Proof Theory



Find lignende bøger
Bogen An Introduction to Proof Theory findes i følgende kategorier: