| Views | |
|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 1972 | 
| April 2025 | May 2025 | June 2025 | July 2025 | August 2025 | September 2025 | October 2025 | |
|---|---|---|---|---|---|---|---|
| Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 264 | 28 | 56 | 83 | 41 | 73 | 55 | 
| Views | |
|---|---|
| dissertation_kirchner.pdf | 949 | 
| dissertation.pdf | 3 | 
| ThesisFinal.pdf | 1 |