First Page | Document Content | |
---|---|---|
![]() Date: 2004-08-17 12:13:18Valuation Constructible universe Ordinal number Mathematical logic Curry–Howard correspondence Gelfond–Schneider theorem Mathematics Algebraic geometry Field theory | Source URL: www.math.purdue.eduDownload Document from Source WebsiteFile Size: 242,58 KBShare Document on Facebook |