Meaning and proofs: on the conflict between classical and intuitionistic logic

By D. Prawitz. 2008

91 citations recorded by the source corpus.

Subfields: Experimental and Cognitive Psychology, History and Philosophy of Science

View Paper: https://www.semanticscholar.org/paper/39ac22b3dc98087a535dc4244f8eb7da7f93d6aa