Minimal pair constructions and iterated trees of strategies, Logical methods, in honor of Anil Nerode's 60th birthday, Birkh auser (1993)

by S Lempp, M Lerman, F Weber