Proceedings Third International Workshop on Classical Logic and Computation

Steffen van Bakel, Stefano Berardi, Ulrich Berger

The fact that classical mathematical proofs of simply existential statements can be read as programs was established by Goedel and Kreisel half a century ago. But the possibility o…