Thank you for your explanation and pointing me to the double negation translation. I know this is off-topic but if you have a book recommendation which teaches

Thank you for your explanation and pointing me to the double negation translation. I know this is off-topic but if you have a book recommendation which teaches about intuitionistic logic/constructive math and also mentions the double negation translation, I'm interested. Most books I've read seem to either concentrate on only constructive or classical math.