order logic and first order theories of reducibility orderings,” pp. 181–90 in The Kleene Symposium, edited by (1980)

by A Nerode, R A Shore, “Second
Venue:Zbl 0465.03024 MR 82g:03078 3