TY - JOUR AU - Prawitz, Dag IS - 3 JA - Topoi PB - Springer Verlag PY - 2019 TI - The Seeming Interdependence Between the Concepts of Valid Inference and Proof VL - 38 ER -