Gödel's Proof of God's Existence (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Handbook of the World Congress on the Square of Opposition IV (Jean-Yves Beziau, Katarzyna Gan-Krzywoszynska, eds.), pp. 22-23, 2014. ((superseded by ECAI-2014 paper))
Bibtex Entry:
@inproceedings{C39,
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Booktitle =	 {Handbook of the World Congress on the Square of
                  Opposition IV},
  Editor =	 {Jean-Yves Beziau and Katarzyna Gan-Krzywoszynska},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Note =	 {(superseded by ECAI-2014 paper)},
  Pages =	 {22-23},
  Title =	 {{G\"odel's} Proof of {God's} Existence},
  Url =
                  {http://www.stoqatpul.org/lat/materials/hand_square2014.pdf},
  Year =	 2014,
}
Powered by bibtexbrowser