Ordinal notations and well-orderings in bounded arithmetic
Arnold Beckmann, Chris Pollett, Samuel R. BussVolume:
120
Year:
2003
Language:
english
Pages:
27
DOI:
10.1016/s0168-0072(02)00066-0
File:
PDF, 244 KB
english, 2003