Sanz, Wagner. " A Criticism of Kripkeā€™s Semantic for Intuitionistic Logic." O que nos faz pensar [Online], 25.39 (2016): 99-104. Web. 28 May. 2022