recursively definable

  1. REDIRECT Computable set