Jaime Gaspar

, 2014, 'Copies of classical logic in intuitionistic logic', Philosophia Scientiae 18 (3), 5-11.