<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-06-16 12:18:14Constructible universe Proof theory Ordinal arithmetic Normal function Mathematical logic Ordinal numbers Set theory |
| First Page | Document Content | |
|---|---|---|
Date: 2011-06-16 12:18:14Constructible universe Proof theory Ordinal arithmetic Normal function Mathematical logic Ordinal numbers Set theory |
