TY  - RPRT
TI  - Proceedings Third International Workshop on Classical Logic and Computation
AU  - Steffen van Bakel
AU  - Stefano Berardi
AU  - Ulrich Berger
PY  - 2011
DO  - 10.4204/eptcs.47
UR  - https://arxiv.org/abs/1101.5200
ID  - 1101.5200
ER  -