UCA | University for the Creative Arts University for the Creative Arts

Structuring co-constructive logic for proofs and refutations

Trafford, James (2016) Structuring co-constructive logic for proofs and refutations. Logica Universalis, 10 (1). pp. 67-97. ISSN 1661-8297

Actions (login required)

Edit View Edit View

University Staff: Request a correction | UCA Research Online Editors: Update this record