Daniel Kirchner (kirchner-d)
Cité.e dans les articles suivants
In Defense of RelationsContributions à 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.