Ontological proof (1995)

by K Gödel
Venue:In Collected Works: Unpublished Essays & Lectures, Volume III