![Ordinal numbers / Set theory / Curry–Howard correspondence / Ordinal arithmetic / Mathematical logic / Mathematics / Constructible universe Ordinal numbers / Set theory / Curry–Howard correspondence / Ordinal arithmetic / Mathematical logic / Mathematics / Constructible universe](https://www.pdfsearch.io/img/92826e94fb2656100bf7a503acf9c9d6.jpg)
| Document Date: 1998-02-11 10:10:52 Open Document File Size: 496,04 KBShare Result on Facebook
Country United States / / Facility Victoria University / Cornell University / / Organization National Science Foundation / Victoria University / Wellington / Cornell University / / Person Rodney G. Downey / Steffen Lempp / Cooper Jump / / Position author / / Product Canon GL1 Camcorder / Canon GL2 Camcorder / / ProgrammingLanguage R / /
SocialTag |