Joseph Vidal-Rosset - Personal Blog
Philosophy, Logic & Emacs
Home
|
About
|
Arguments
|
Provers
|
Code
|
En français
Arguments
Descartes’s First Proof of God’s Existence in First-Order Logic
(2021-07-21, updated 2025-08-23)
