Daniel Kirchner (kirchner-d)
Citato nei seguenti articoli
In Defense of RelationsContributi a 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.