Metarecursive sets i, ii (abstracts (1963)

by G Kreisel, Gerald E Sacks
Venue:J. Symbolic Logic