First order theory of the degrees of recursive unsolvability (0)

by S G Simpson