Daniel Kirchner (kirchner-d)
Cited in the following articles
In Defense of RelationsContributions to Philosophie.ch
No contributions yet
Bibliography
Kirchner, Daniel. 2017. “Representation and Partial Automation of the Principia Logico-Metaphysica in Isabelle/HOL .” MA thesis, Berlin: Freie Universität, Institut für Mathematik, https://www.isa-afp.org/browser_info/current/AFP/PLM/document.pdf.