Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets
Harrington, Leo ; Soare, Robert I.
The bulletin of symbolic logic, 1996-06, Vol.2 (2), p.199-213
[Peer Reviewed Journal]
New York, USA: Cambridge University Press
Full text available
- Searching for
- inscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
- Show me what you have so far