Views | |
---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 927 |
January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | |
---|---|---|---|---|---|---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 38 | 37 | 24 | 41 | 40 | 35 | 11 |
Views | |
---|---|
dissertation_kirchner.pdf | 605 |
dissertation.pdf | 3 |
ThesisFinal.pdf | 1 |