Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Experiments in Computational Metaphysics: Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute, volume 9, pp. 43-57, 2017.
Bibtex Entry:
@Article{J36,
  Keywords =	 {own, Automated Reasoning, Intensional Higher-Order Modal
                  Logic, Higher Order Logic},
  author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  title =	 {Experiments in {Computational Metaphysics}:
                  {G\"odel's} Proof of {God's} Existence},
  journal =	 {Savijnanam: scientific exploration for a spiritual
                  paradigm. Journal of the Bhaktivedanta Institute},
  year =	 2017,
  volume =	 9,
  pages =	 {43-57},
  url =
                  {http://www.vedic-heritage.net/wp-content/uploads/2015/07/25-Savijnanam.pdf},
  issn =	 {0972-6586},
}
Powered by bibtexbrowser