Nonconstructive Computational Mathematics

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

Authors

Kenneth Kunen

This author has not been identified. Look up 'Kenneth Kunen' in Google