On the ∀∃-sentences of α-recursion theory (1978)

by Richard A Shore
Venue:Generalized Recursion Theory II, volume 94 of Stud. Logic Foundations Math