Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker/Fagbøker/Matematikk og naturvitenskap/Matematikk

Basic Proof Theory

A. S. Troelstra
2000, Heftet, Engelsk
Basic Proof Theory

649,-

På fjernlager – sendes innen 6-12 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Produktegenskaper

  • Forfatter

    A. S. Troelstra

  • Bidragsyter

    A. S. Troelstra (Forfatter)

  • Forlag/utgiver

    Cambridge University Press

  • Format

    Heftet

  • Språk

    Engelsk

  • Utgivelsesår

    2000

  • Antall sider

    432

  • Serienavn

    Cambridge Tracts in Theoretical Computer Science

  • Varenummer

    9780521779111

Kundeanmeldelser

Frakt og levering

Alle bøkene i serien