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
2985:79759
Actions (login required)
![]() |
Edit View |
University Staff: Request a correction | UCA Research Online Editors: Update this record