Analysis of an Ontological Proof Proposed by Leibniz (bibtex)
by Matthias Bentert, Christoph Benzmüller, David Streit, Bruno Woltzenlogel Paleo
Reference:
Analysis of an Ontological Proof Proposed by Leibniz (Matthias Bentert, Christoph Benzmüller, David Streit, Bruno Woltzenlogel Paleo), Chapter in Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G.W. Leibniz (Charles Tandy, ed.), Ria University Press, 2016. (Preprint: http://christoph-benzmueller.de/papers/B16.pdf)
Bibtex Entry:
@incollection{B16,
  Author =	 {Bentert, Matthias and Benzm{\"u}ller, Christoph and
                  Streit, David and Woltzenlogel Paleo, Bruno},
  Booktitle =	 {Death and Anti-Death, Volume 14: Four Decades after
                  Michael Polanyi, Three Centuries after G.W. Leibniz},
  Editor =	 {Tandy, Charles},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Semantic
                  Embedding, Higher Order Logic, Higher Order Modal
                  Logic, Computational Metaphysics},
  Publisher =	 {Ria University Press},
  Title =	 {Analysis of an Ontological Proof Proposed by
                  {Leibniz}},
  Isbn =         {978-1934297254},		  
  Url =
                  {https://philpapers.org/rec/TANDAA-10},
  Year =	 2016,
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/B16.pdf}},
}
Powered by bibtexbrowser