TY - JOUR AU - Silvestre, Ricardo IS - 7 JA - Journal of Applied Logics PY - 2018 TI - A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant VL - 5 ER -