TY  - RPRT
TI  - A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument
AU  - John Rushby
PY  - 2022
DO  - 10.1007/978-3-030-43535-6_13
UR  - https://arxiv.org/abs/2205.14071
ID  - 2205.14071
ER  -