Derivation and Computation 1
bokomslag Derivation and Computation
Vetenskap & teknik

Derivation and Computation

H Simmons • H Simmons

Inbunden

2379:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 412 sidor
  • 2000
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.
  • Författare: H Simmons, H Simmons
  • Format: Inbunden
  • ISBN: 9780521771733
  • Språk: Engelska
  • Antal sidor: 412
  • Utgivningsdatum: 2000-05-18
  • Förlag: Cambridge University Press

Du kanske gillar

  1. Ny
    bokomslag Interpretations

    Interpretations

    Paul H Simmons Paul H Simmons

    Pocket

    249:-
  2. bokomslag i Babblarnas hus

    i Babblarnas hus

    Anneli Tisell • Iréne Johansson

    Inbunden

    149:-
  3. bokomslag Special Operations Forces Requirements for Africa Command

    Special Operations Forces Requirement...

    Kevin H Simmons Kevin H Simmons

    Pocket

    829:-
  4. bokomslag Sticky Bottom and Living Just above Broke

    Sticky Bottom and Living Just above B...

    Allen H Simmons Ii, Allen H Simmons Ii, Dr Allen H Simmons Ii, Allen H Simmons Ii

    Pocket

    299:-
  5. bokomslag Handbook of Soap Manufacture

    Handbook of Soap Manufacture

    W H Simmons W H Simmons

    Klotband

    559:-
  6. bokomslag Alasco, an Indian Tale

    Alasco, an Indian Tale

    William H Simmons William H Simmons

    Pocket

    399:-
  7. bokomslag Handbook of Soap Manufacture

    Handbook of Soap Manufacture

    H A Appleton, W H Simmons, H A Appleton, W H Simmons

    Pocket

    309:-
  8. bokomslag Joseph Conrad in Context

    Joseph Conrad in Context

    Allan H Simmons

    859:-
  9. bokomslag Barnens atlas för att upptäcka världen

    Barnens atlas för att upptäcka världen

    Anita Ganeri

    Inbunden

    199:-
  10. bokomslag Nigger of the 'Narcissus'

    Nigger of the 'Narcissus'

    Joseph Conrad, Allan H Simmons, Allan H Simmons

    Inbunden

    2299:-