An ordinal analysis of parameter-free Π (2005)

by M Rathjen
Venue:comprehension, Archive for Mathematical Logic
Add To MetaCart
Results 1 - 1 of 1

Discrete transfinite computation models

by P. D. Welch
"... ..."
Abstract - Add to MetaCart
Abstract not found