TY - CONF T1 - Unified Classical Logic Completeness UR - http://dx.doi.org/10.1007/978-3-319-08587-6_4 PY - 2014/01/01 AU - Blanchette JC AU - Popescu A AU - Traytel D ED - DO - DOI: 10.1007/978-3-319-08587-6_4 PB - Springer International Publishing SN - 9783319085869 SP - 46 EP - 60 Y2 - 2025/04/09 ER -