Effectivity of regular spaces (2001)

by J Blanck
Venue:Computability and Complexity in Analysis. Springer-Verlag Lecture Notes in Computer Science 2064