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

Derivation and Computation - Taking the Curry-Howard Correspondence Seriously

H. (University of Manchester) Simmons
2000, Innbundet, Engelsk
image-product

1 619,-

På fjernlager - sendes normalt innen 7 til 14 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.

Produktegenskaper

  • Forfatter

    H. (University of Manchester) Simmons

  • Bidragsyter

    Simmons, H. (University of Manchester)

  • Forlag/Utgiver

    SD Books

  • Format

    Innbundet

  • Språk

    Engelsk

  • Utgivelsesår

    2000

  • Antall sider

    412

  • Serienavn

    Cambridge Tracts in Theoretical Computer Science

  • Varenummer

    9780521771733

Kundeanmeldelser

Frakt og levering

Alle bøkene i serien