BENZMÜLLER, C.; FUENMAYOR, D. Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. Bulletin of the Section of Logic, [S. l.], v. 49, n. 2, p. 127–148, 2020. DOI: 10.18778/0138-0680.2020.08. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/7976. Acesso em: 3 may. 2024.