1 results
A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 306-324
- Print publication:
- March 2014
-
- Article
- Export citation