First Page | Document Content | |
---|---|---|
![]() Date: 2011-06-16 12:18:14Constructible universe Proof theory Ordinal arithmetic Normal function Mathematical logic Ordinal numbers Set theory | Source URL: www.karlin.mff.cuni.czDownload Document from Source WebsiteFile Size: 682,82 KBShare Document on Facebook |