Meaning and proofs: on the conflict between classical and intuitionistic logic
- 1 April 1977
- Vol. 43 (1) , 2-40
- https://doi.org/10.1111/j.1755-2567.1977.tb00776.x
Abstract
No abstract availableThis publication has 0 references indexed in Scilit:
This publication has 0 references indexed in Scilit: