A critical remark on the BHK interpretation of implication

2014

Wagner de Campos Sanz, Thomas Piecha

Philosophia Scientiae 18 (3)