Sanz, W. 2016 Dec 30. A Criticism of Kripkeā€™s Semantic for Intuitionistic Logic. O que nos faz pensar. [Online] 25:39