O riešení niektorých nerozhodnutelných topologických problémov William Wistar Comfort (1982) Pokroky matematiky, fyziky a astronomie