Nettbutikk for bedrifter og skoler

Søk
Handlekurv
Meny
Konto

Derivation and Computation

Taking the Curry-Howard Correspondence Seriously

H. (University of Manchester) Simmons
Innbundet
Engelsk
Cambridge Tracts in Theoretical Computer Science
Derivation and Computation
Derivation and Computation
  • Forfatter: H. (University of Manchester) Simmons
  • Format: Innbundet
  • Antall sider: 412
  • Språk: Engelsk
  • Forlag/Utgiver: SD Books
  • Serienavn: Cambridge Tracts in Theoretical Computer Science
  • EAN: 9780521771733
  • Utgivelsesår: 2000
  • Bidragsyter: Simmons, H. (University of Manchester)
Se flere produktegenskaper
1 619,-

Kjøp på nett

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.
Flere i samme serie.
Merk produktene som skal legges i handlekurven
  1. Information Flow
    Information Flow
    869,-
    På lager
    Innbundet
  2. Basic Proof Theory
    Basic Proof Theory
    569,-
    På lager
    Pocket
  3. Modal Logic
    Modal Logic
    1 099,-
    På lager
    Pocket