Nonconstructive computational mathematics (1998)

by K Kunen
Venue:Journal of Automated Reasoning