On recursively unsolvable problems in topology and their classification (1968)

by W Boone, W Haken, V Poenaru
Venue:in Contributions to Mathematical Logic