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 append
SIMMONS, H. (UNIVERSITY OF MANCHESTER)
Derivation and Computation
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 append
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9780521771733Mladinska knjiga ID
9780521771733Leto izida
2000Datum izida
18.05.2000Število strani
412Status dobavljivosti
7-10 delovnih dniZbirka
Cambridge Tracts in Theoretical Computer ScienceZaložnik
Cambridge University PressAvtor
Simmons, H. (University of Manchester)Dimenzije
161 x 236 x 25BIC
PBC,UYAOpis
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.Pogosto kupljeno skupaj
Trda vezava
Ostali so si ogledali tudi ...
Vezava: Integralna
Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 46 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 46 poslovalnicah takoj ali preko spletnega naročila
Vezava: Mehka
Na zalogi v 17 poslovalnicah takoj ali preko spletnega naročila
Vezava: Mehka
Na zalogi v 44 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 43 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 48 poslovalnicah takoj ali preko spletnega naročila
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.