Approximating Classical Theorems

Stefano Baratella, Stefano Berardi. Approximating Classical Theorems. Journal of Logic and Computation, 8(6):839-854, 1998.

Abstract

Abstract is missing.