<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-01-10 04:43:39Mathematics Conservative extension Second-order arithmetic Cut-elimination theorem Ordinal analysis Reverse mathematics Proof theory Mathematical logic Logic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2011-01-10 04:43:39Mathematics Conservative extension Second-order arithmetic Cut-elimination theorem Ordinal analysis Reverse mathematics Proof theory Mathematical logic Logic |
|
Keio University Thesis Abstract No. Registration