Countable Initial Segments of the Degrees of Unsolvability. - Alistair H. Lachlan; R. Lebeuf (J. Symb. Log., 1976)