Proceedings Seventh International Workshop on Classical Logic and Computation

Stefano Berardi, Alexandre Miquel

This special issue cover the seventh and last conference of the CL&C series, started in 2006 in San Servolo. Topics are the computational content of logics between intuitionistic l…