Omitting types: applications to recursion theory (1972)

by Thomas J Grilliot
Venue:J. Symbolic Logic