Topology and computability. Thesis proposal (1998)

by A Bauer