editor. Handbook of Computability Theory, volume 140 (1999)

by E R Griffor
Venue:of Studies in Logic. North-Holland