For Polish speakers, I highly recommend this book: https://www.ccpress.pl/produkt/Dowody_ontologiczne._W_900._rocznice_smierci_sw._Anzelma_17 https://www.ccpre

For Polish speakers, I highly recommend this book: https://www.ccpress.pl/produkt/Dowody_ontologiczne._W_900._rocznice_smierci_sw._Anzelma_17 https://www.ccpress.pl/produkt/Dowody_ontologiczne._W_900._r... It has multiple formalisations of both Anselm's and Gaunilo's arguments, and critiques of each approach