Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics Book 144)

C.J. Ash , J. Knight