Anselm's God in Isabelle/HOL

Archive of Formal Proofs

Saved in:
書目詳細資料
主要作者: Ben Richard Kelsey Blumson
其他作者: PHILOSOPHY
格式: Article
出版: 2023
在線閱讀:https://scholarbank.nus.edu.sg/handle/10635/243570
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: National University of Singapore