%0 Journal Article %A Silvestre, Ricardo %D 2015 %J Revista Brasileira de Filosofia da Religião %N 1 %P 142–161 %T On The Logical Formalization of Ansem's Ontological Argument %V 2