Some reasons for generalizing recursion theory (1971)

by G Kreisel
Venue:Logic Colloquium ’69