Unique existence, approximate solutions, and countable choice

Peter Schuster. Unique existence, approximate solutions, and countable choice. Theoretical Computer Science, 305(1-3):433-455, 2003. [doi]

Abstract

Abstract is missing.