TY  - RPRT
TI  - Proceedings Sixth International Workshop on Classical Logic and Computation
AU  - Ulrich Kohlenbach
AU  - Steffen van Bakel
AU  - Stefano Berardi
PY  - 2016
DO  - 10.4204/eptcs.213
UR  - https://arxiv.org/abs/1606.05820
ID  - 1606.05820
ER  -