Udvidet returret til d. 31. januar 2025

An Introduction to Proof Theory - Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu - Bog

- 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:
  • 9780192895943
  • Indbinding:
  • Paperback
  • Sideantal:
  • 432
  • Udgivet:
  • 17. august 2021
  • Størrelse:
  • 233x157x26 mm.
  • Vægt:
  • 666 g.
  • 4-7 hverdage.
  • 23. november 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.