Π01-classes and complete extensions of PA (1984)

by Measure
Venue:In Recursion theory week (Oberwolfach