Embedding Classical Logic in Intuitionistic Logic

• 1 January 1973
• journal article
• Published by Wiley in Mathematical Logic Quarterly
• Vol. 19  (3-6) , 93-96
• https://doi.org/10.1002/malq.19730190307

Abstract