Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker/Fagbøker/Språk, litteratur og lingvistikk/Litteraturvitenskap

An Introduction to Proof Theory - Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu
2021, Heftet, Engelsk
An Introduction to Proof Theory

419,-

På fjernlager – sendes innen 6-12 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
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.

Produktegenskaper

  • Forfatter

    Paolo Mancosu

  • Bidragsyter

    Paolo Mancosu (Forfatter)

  • Forlag/utgiver

    Oxford University Press

  • Format

    Heftet

  • Språk

    Engelsk

  • Utgivelsesår

    2021

  • Antall sider

    432

  • Varenummer

    9780192895943

Kundeanmeldelser

Frakt og levering