In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it [...]
Visa längre beskrivning
Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
---|---|---|---|---|---|---|
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp | 471.00 kr | I lager | 5-8 dagar | 471.00 kr | Till butik | |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 520.00 kr | I lager | 5-15 dagar | 520.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!