Vi bøger
Levering: 1 - 2 hverdage

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.
  • 15. Maj 2024
På lager

Normalpris

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.