![Ordinal numbers / Logic / Ordinal arithmetic / Set theory / Curry–Howard correspondence / Mathematical logic / Proof theory / Mathematics Ordinal numbers / Logic / Ordinal arithmetic / Set theory / Curry–Howard correspondence / Mathematical logic / Proof theory / Mathematics](https://www.pdfsearch.io/img/402b211967d10e33399e59b3a809e418.jpg) Date: 2008-10-28 21:26:42Ordinal numbers Logic Ordinal arithmetic Set theory Curry–Howard correspondence Mathematical logic Proof theory Mathematics | | Fast Additive Constant Approximation Algorithms for The Safe Deposit Boxes Problem with Two and Three Currencies Boaz Ben-Moshe1 1 Yefim Dinitz2Add to Reading ListSource URL: cccg.caDownload Document from Source Website File Size: 183,75 KBShare Document on Facebook
|