Cite
APA Citation
Ferguson, T. M. (2020). explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic. Journal of logic and computation, 30, 1505–1540. http://access.bl.uk/ark:/81055/vdc_100121988605.0x000049