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

by Denis R. Hirschfeldt
Venue:PROC. AMER. MATH. SOC
Citations:5 - 3 self