TY  - RPRT
TI  - Virtual Evidence: A Constructive Semantics for Classical Logics
AU  - Robert L. Constable
PY  - 2014
UR  - https://arxiv.org/abs/1409.0266
ID  - 1409.0266
ER  -