Title: On priority arguments in Friedberg theories
Subjects: Recursive functions
People: Friedberg