Practical Foundations collects the methods of construction of the objects of twentieth century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the [...]
Visa längre beskrivning
| Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
|---|---|---|---|---|---|---|
![]() |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 1707.00 kr | I lager | 5-15 dagar | 1707.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!