Unique existence, approximate solutions, and countable choice (0)

by Peter Schuster
Venue:Theoretical Computer Science