Return to Article Details Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I) Download PDF