Ordinal Notations and Well-Orderings in Bounded Arithmetic (2002)

by Arnold Beckmann , Samuel R. Buss , Chris Pollett
Venue:Annals of Pure and Applied Logic
Citations:2 - 0 self