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},
  Doi =		 {10.1007/978-3-319-45062-9_18},
  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}},
  Url =
                  {http://www.booksamillion.com/p/Death-Anti/Charles-Tandy/9781934297261?id=6525608148199},
  Year =	 2016,
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/B16.pdf}},
}
Powered by bibtexbrowser