Skip to main content

Relative computability and the proof−theoretic strength of some theories

Bahareh Afshari

School
School of Mathematics‚ University of Leeds
Year
2008