Computable trees, prime models, and relative decidability (2005)

by Denis R. Hirschfeldt
Venue:PROC. AMER. MATH. SOC
Citations:6 - 4 self