Nonconstructive Computational Mathematics

Kenneth Kunen. Nonconstructive Computational Mathematics. Journal of Automated Reasoning, 21(1):69-97, 1998.

Abstract

Abstract is missing.