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

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