Sanz, Wagner. " A Criticism of Kripke’s Semantic for Intuitionistic Logic" O que nos faz pensar [Online], Volume 25 Número 39 (30 December 2016)