Unsolvable problems (1977)

by Davis M Davis
Venue:Handbook of Mathematical Logic, volume 90 of Studies in Logic