decidable set

views updated

decidable set See recursive set.