Cite
HARVARD Citation
Ferguson, T. (2020). Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic. Journal of logic and computation. pp. 1505-1540. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Ferguson, T. (2020). Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic. Journal of logic and computation. pp. 1505-1540. [Online].