Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Vetenskap
  5. An Introduction to Proof Theory

An Introduction to Proof Theory

- Normalization, Cut-Elimination, and Consistency Proofs

av Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu
An Introduction to Proof Theory av Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780192895936
  • Format:
  • Inbunden
  • Sidor:
  • 432
  • Utgiven:
  • 17. augusti 2021
  • Mått:
  • 241x165x31 mm.
  • Vikt:
  • 812 g.
Leveranstid: Okänt - saknas för närvarande

Om Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu

Se alla böcker av Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu

Beskrivning 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.

Användarnas betyg av An Introduction to Proof Theory



Andra köpte även...
Hitta liknande böcker
Boken An Introduction to Proof Theory finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.